Pages that link to "Item:Q916351"
From MaRDI portal
The following pages link to Safety and liveness from a methodological point of view (Q916351):
Displaying 11 items.
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions (Q688439) (← links)
- Safety and liveness from a methodological point of view (Q916351) (← links)
- Defining liveness (Q1064056) (← links)
- Recognizing safety and liveness (Q1100884) (← links)
- Sooner is safer than later (Q1199553) (← links)
- From states to histories relating state and history views onto systems (Q2767984) (← links)
- The Coarsest Precongruences Respecting Safety and Liveness Properties (Q3163871) (← links)
- Spanning the Spectrum from Safety to Liveness (Q3460555) (← links)
- Liveness in timed and untimed systems (Q4632424) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)