7. The method of claim 6 further comprises unabstracting select abstracted logical operators in the abstraction model and using the unabstracted logical operators to form the refined abstraction model.
6. The method of claim 2 further comprises refining the abstraction model when the violation is deemed infeasible, and repeating the steps of property checking and feasibility checking with the refined abstraction model.