cascade: C Assertion Checker and Deductive Engine
Abstract elided by the publisher.
Related papers
- Scalability and precision by combining expressive type systems and deductive verification OOPSLA 2021
- The Invariant Checker: Automated Deductive Verification of Reactive Systems CAV 1997
- Structuring the synthesis of heap-manipulating programs POPL 2019
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning Onward! 2024
- Almost-correct specifications: a modular semantic framework for assigning confidence to warnings PLDI 2013
- Cascade - (Competition Contribution) TACAS 2015
- Seamless deductive inference via macros CC 2022
- Cascade 2.0 VMCAI 2014