cascade: C Assertion Checker and Deductive Engine

Nikhil Sethi,Clark W. Barrett
DOI: https://doi.org/10.1007/11817963_17
2006-08-17
Abstract:
What problem does this paper attempt to address?