Automatically validating temporal safety properties of interfaces (2001)

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