cascade: C Assertion Checker and Deductive Engine.

Nikhil Sethi, Clark W. Barrett

Browse the full CAV paper archive.