Computer Assistance for Program Refinement
No abstract available.
Related papers
- SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation CAV 2006
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015
- Speeding up symbolic reasoning for relational queries OOPSLA 2018
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Verified Functional Programming of an Abstract Interpreter SAS 2021
- A monadic framework for relational verification: applied to information security, program equivalence, and optimizations CPP 2018
- FitSpec: refining property sets for functional testing Haskell 2016
- Computer-Assisted Verification of a Protocol for Certified Email SAS 2003