Model Checking for Action Abstraction
No abstract available.
Related papers
- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties VMCAI 2005
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- A Provably Correct Compiler Generator ESOP 1992
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- Checking Robustness Against Snapshot Isolation CAV 2019
- Runners in Action ESOP 2020
- Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language POPL 1987