Automatically validating temporal safety properties of interfaces. (2001)

by T Ball, S K Rajamani
Venue:In Proceedings of the Workshop on Model Checking of Software (SPIN), LNCS 2057,