Automatic deductive verification with invisible invariants. (2001)

by 39A Pnueli, S Ruah, L Zuck
Venue:In Tools and Algorithms for the Construction and Analysis of Systems,