Automatically validating temporal safety properties of interfaces (2001)

by Tom Ball, Sriram K Rajamani
Venue:In Proceedings of SPIN, LNCS 2057