Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints.

William Chan, Richard J. Anderson, Paul Beame, David Notkin

Browse the full CAV paper archive.