Checking Strong Specifications Using an Extensible Software Model Checking Framework.

Robby, Edwin Rodrguez, Matthew B. Dwyer, John Hatcliff

Browse the full TACAS paper archive.