The following pages link to (Q4036558):
Displaying 12 items.
- Model-checking process equivalences (Q477208) (← links)
- The expressive power of implicit specifications (Q685409) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- A linear-time model-checking algorithm for the alternation-free modal mu- calculus (Q1801498) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- Characteristic Formulae for Timed Automata (Q2729632) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Local model checking for context-free processes (Q4630295) (← links)
- Verification and comparison of transition systems (Q5044730) (← links)
- Data flow analysis as model checking (Q5096226) (← links)
- Generating diagnostic information for behavioral preorders (Q5137006) (← links)
