A Proof Assistant for PSF
Abstract elided by the publisher.
Related papers
- PSF: A Generic and Extensible Framework for Protocol State Fuzzing CAV 2026
- Progress of concurrent objects with partial methods POPL 2018
- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs VMCAI 2012
- The Proof Assistant as an Integrated Development Environment APLAS 2013
- A Proof Assistant for Symbolic Model-Checking CAV 1992
- Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties CPP 2013
- Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM JFP 2023
- A Proof Assistant for Alloy Specifications TACAS 2012