Why3 - Where Programs Meet Provers
Abstract elided by the publisher.
Related papers
- Correctness Meets Performance: From Agda to Futhark ICFP 2025
- Why3-do: The Way of Harmonious Distributed System Proofs ESOP 2022
- A Formalization of Core Why3 in Coq POPL 2024
- Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis ESOP 2024
- Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming JFP 2004
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic CAV 2024
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach POPL 1983
- Implicit invocation meets safe, implicit concurrency GPCE 2010