Modal Transition Systems: A Foundation for Three-Valued Program Analysis
No abstract available.
DOI 10.1007/3-540-45309-1_11
Related papers
- Input-Based Three-Valued Abstraction Refinement VMCAI 2026
- Model Checking Modal Transition Systems Using Kripke Structures VMCAI 2002
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself POPL 2022
- Contextual Modal Type Theory with Polymorphic Contexts ESOP 2023
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems TACAS 1995
- Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis ESOP 2024
- Modal Crash Types for Intermittent Computing ESOP 2023