A Simulation Preorder for Abstraction of Reactive Systems
No abstract available.
Related papers
- Checking for Language Inclusion Using Simulation Preorders CAV 1991
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Runtime verification and validation of functional reactive systems JFP 2020
- Abstract Interpretation of Reactive Systems TOPLAS 1997
- Computing Coupled Similarity TACAS 2019
- A functional reactive animation of a lift using Fran JFP 2000
- The Yampa arcade Haskell 2003
- Constructive characterisations of the MUST-preorder for asynchrony ESOP 2025