Model Checking Modal Transition Systems Using Kripke Structures
No abstract available.
Related papers
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- Normalization by evaluation for modal dependent type theory JFP 2023
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- A relational modal logic for higher-order stateful ADTs POPL 2010
- The marriage of bisimulations and Kripke logical relations POPL 2012
- Modal Transition Systems: A Foundation for Three-Valued Program Analysis ESOP 2001
- Mechanizing Synthetic Tait Computability in Istari CPP 2026
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems TACAS 1995