Cogent: Accurate Theorem Proving for Program Verification
No abstract available.
Related papers
- Overcoming restraint: composing verification of foreign functions with cogent CPP 2022
- Cogent: uniqueness types and certifying compilation JFP 2021
- Refinement through restraint: bringing down the cost of verification ICFP 2016
- Property-Based Testing: Climbing the Stairway to Verification SLE 2022
- Theorem Proving for Verification (Invited Tutorial) CAV 2008
- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving CAV 2002
- A Finite Presentation Theorem for Approximating Logic Programs POPL 1990
- A true positives theorem for a static race detector POPL 2019