Computer-Assisted Simulation Proofs
No abstract available.
Related papers
- Improved Assistance for Interactive Proof (Keynote) CPP 2023
- A Family of Sims with Diverging Interests POPL 2026
- A Core Calculus for Equational Proofs of Cryptographic Protocols POPL 2023
- Computer-Assisted Microanalysis of Parallel Programs TOPLAS 1992
- Almost Fair Simulations ICFP 2025
- VeriML: typed computation of logical terms inside a language with effects ICFP 2010
- QED in Context: An Observation Study of Proof Assistant Users OOPSLA 2025
- End-to-end verification of information-flow security for C and assembly programs PLDI 2016