Automatically Validating Temporal Safety Properties of Interfaces (2001)

by T Ball, S K Rajamani
Venue:In Proc. Model Checking Software, SPIN Workshop 2001, volume 2057 of LNCS