Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties
No abstract available.
Related papers
- Regular language type inference with term rewriting ICFP 2020
- Regular Abstractions for Array Systems POPL 2024
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Symbolic Model Checking of Non-regular Properties CAV 2004
- Distributed Cooperation with Action Systems TOPLAS 1988
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- Parameterized Synthesis with Safety Properties APLAS 2020