Timed Modal Specification - Theory and Tools
Abstract elided by the publisher.
Related papers
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- On Recursion in Graded Modal Type Theory ICFP 2026
- Contextual Modal Type Theory with Polymorphic Contexts ESOP 2023
- Modal I/O Automata for Interface and Product Line Theories ESOP 2007
- Behavioural Equivalence via Modalities for Algebraic Effects ESOP 2018
- Behavioural Equivalence via Modalities for Algebraic Effects TOPLAS 2020
- Implementing a modal dependent type theory ICFP 2019