GR(1)*: GR(1) specifications extended with existential guarantees
From MaRDI portal
Publication:6535944
DOI10.1007/978-3-030-30942-8_7zbMATH Open1539.68147MaRDI QIDQ6535944
Gal Amram, Or Pistiner, Shahar Maoz
Publication date: 14 March 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis of Reactive(1) designs
- Using abduction and induction for operational requirements elaboration
- An improved algorithm for the evaluation of fixpoint expressions
- Bridging the gap between fair simulation and trace inclusion
- A lattice-theoretical fixpoint theorem and its applications
- SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
- Interpolation-Based GR(1) Assumptions Refinement
- Cooperative Reactive Synthesis
- Graph-Based Algorithms for Boolean Function Manipulation
- “Sometimes” and “not never” revisited
- Diagnostic Information for Realizability
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: GR(1)*: GR(1) specifications extended with existential guarantees
