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.
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.