Found 2 results
Filters: Author is Sims, Steve  [Clear All Filters]
2000
Bharadwaj, R., and S. Sims, "Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking", Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000): Springer, 2000. BharadwajSims2000.pdf (265.25 KB)