Generic System Support for Deductive Program Development
No abstract available.
Related papers
- Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation OOPSLA 2025
- Higher-Order unCurrying POPL 1998
- A Deductive System for Contract Satisfaction Proofs PLDI 2026
- Hypra: A Deductive Program Verifier for Hyper Hoare Logic OOPSLA 2024
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning Onward! 2024
- Modularity for decidability of deductive verification with applications to distributed systems PLDI 2018
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015
- A Deductive Verification Infrastructure for Probabilistic Programs OOPSLA 2023