An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Browse the full FM paper archive.