An algorithm for strengthening state invariants generated from requirements specifications (0)

by R D Jeffords, C L Heitmeyer
Venue:In Proc. Fifth IEEE International Symposium on Requirements Engineering, 2001