The following pages link to (Q4553260):
Displaying 7 items.
- Distributed symbolic model checking for \(\mu\)-calculus (Q816198) (← links)
- Dealing with practical limitations of distributed timed model checking for timed automata (Q2431767) (← links)
- CTL model checking on a shared-memory architecture (Q2431771) (← links)
- Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking (Q2845490) (← links)
- \textsc{Upp}DMC: a distributed model checker for fragments of the \(\mu\)-calculus (Q2848151) (← links)
- Distributed symbolic bounded property checking (Q2848663) (← links)
- Permissive strategies: from parity games to safety games (Q4800258) (← links)