Model Checking as Constraint Solving (2000)

by Andreas Podelski
Venue:In Proceedings of Static Analysis Symposium (SAS’00), volume 1824 of LNCS