Automatic Abstraction without Counterexamples (2003)

by N Amla K L McMillan
Venue:Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), LNCS 2619