Automatically validating temporal safety properties of interfaces (2001)

by Thomas Ball, Sriram K Rajamani
Venue:In SPIN 2001, Workshop on Model Checking of Software