Modal Proofs as Distributed Programs (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Normalization by evaluation for modal dependent type theory JFP 2023
- A Modal Logic for Message passing Processes (Extended Abstract) CAV 1993
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems TACAS 1995
- Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis ESOP 2024
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic ICFP 2018
- Foundational Multi-Modal Program Verifiers POPL 2026
- Modal FRP for all: Functional reactive programming without space leaks in Haskell JFP 2022