Pages that link to "Item:Q2486398"
From MaRDI portal
The following pages link to Bridging the gap between fair simulation and trace inclusion (Q2486398):
Displaying 8 items.
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Learning Meets Verification (Q3525110) (← links)
- (Q4804928) (← links)
- Computer Aided Verification (Q5900692) (← links)
- Abstraction refinement and antichains for trace inclusion of infinite state systems (Q5919079) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q6535944) (← links)