The following pages link to (Q2754085):
Displaying 11 items.
- How to stop time stopping (Q855006) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← 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)
- Distributed branching bisimulation reduction of state spaces (Q2845494) (← links)
- On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus (Q2848144) (← links)
- Distributed verification of multi-threaded C++ programs (Q2866324) (← links)
- Measuring and evaluating parallel state-space exploration algorithms (Q2866326) (← links)
- Improving Search Order for Reachability Testing in Timed Automata (Q2945591) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
