The following pages link to Model Checking Software (Q5899046):
Displayed 4 items.
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models (Q963372) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)