Pages that link to "Item:Q1343862"
From MaRDI portal
The following pages link to Safety, liveness and fairness in temporal logic (Q1343862):
Displayed 16 items.
- Arbitrary arrow update logic (Q343913) (← links)
- Deciding safety and liveness in TPTL (Q402360) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- \(\omega\)-regular languages are testable with a constant number of queries (Q706616) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective (Q843994) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Using temporal logics to express search control knowledge for planning (Q1978242) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- From complementation to certification (Q2575735) (← links)
- (Q2842869) (← links)
- An abstract interpretation-based model for safety semantics (Q2995468) (← links)
- Translating Testing Theories for Concurrent Systems (Q3449629) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- On High-Quality Synthesis (Q5740173) (← links)