Pages that link to "Item:Q1343862"
From MaRDI portal
The following pages link to Safety, liveness and fairness in temporal logic (Q1343862):
Displaying 18 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)
- Spanning the spectrum from safety to liveness (Q1629750) (← links)
- On relative and probabilistic finite counterability (Q1742987) (← links)
- The complexity of counting models of linear-time temporal logic (Q1745344) (← 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)
- Efficient data validation for geographical interlocking systems (Q2065531) (← 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)
- On monitoring linear temporal properties (Q6056640) (← links)
- A first-order logic characterization of safety and co-safety languages (Q6135783) (← links)
