8. The method of claim 6 further comprises creating one or more lemmas from the set of constraints that represent the violation and conjoining the lemmas with the abstraction model for subsequent iterations.
8. The method of claim 6 further comprises creating one or more lemmas from the set of constraints that represent the violation and conjoining the lemmas with the abstraction model for subsequent iterations. 10. The method of claim 8 further comprises extracting one or more subset of constraints from the set of constraints that represent the violation and creating the lemmas by negating the subsets of constraints.