Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.

Ramesh Bharadwaj, Steve Sims

Browse the full TACAS paper archive.