Deciding Properties of Regular Real Time Processes
No abstract available.
Related papers
- Tree Buffers CAV 2015
- Deciding ω-regular properties on linear recurrence sequences POPL 2021
- Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable CAV 1997
- DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations POPL 2015
- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties VMCAI 2005
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination PLDI 2026
- RT-trust: automated refactoring for trusted execution under real-time constraints GPCE 2018