An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.

Ralph D. Jeffords, Constance L. Heitmeyer

Browse the full RE paper archive.