Automatically validating temporal safety properties of interfaces (2001)

by T Ball, S Rajamani
Venue:Proceedings of the 8th international SPIN workshop on Model checking of software