Salsa: Combining constraint solvers with BDDs for automatic invariant checking. In (2000)

by R Bharadwaj, S Sims
Venue:Proc. 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,