Pages that link to "Item:Q3832037"
From MaRDI portal
The following pages link to Verifying temporal properties without temporal logic (Q3832037):
Displayed 12 items.
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Combining symmetry reduction and under-approximation for symbolic model checking (Q816210) (← links)
- Proving entailment between conceptual state specifications (Q1095649) (← links)
- Recognizing safety and liveness (Q1100884) (← links)
- On verifying that a concurrent program satisfies a nondeterministic specification (Q1123589) (← links)
- Completing the temporal picture (Q1176248) (← links)
- Proving correctness with respect to nondeterministic safety specifications (Q1182117) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis (Q3648823) (← links)
- Liminf progress measures (Q6171780) (← links)