Automatic generation of state invariants from requirements specifications (1998)

by R Jeffords, C Heitmeyer
Venue:In Proc. Sixth ACM SIGSOFT Symp. on Foundations of Software Engineering, Nov. 3–5, Lake Buena Vista, FL