POEM
From MaRDI portal
Software:16001
No author found.
Related Items (7)
Unfoldings: A partial-order approach to model checking. ⋮ Exploiting step semantics for efficient bounded model checking of asynchronous systems ⋮ Stronger Reduction Criteria for Local First Search ⋮ SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata ⋮ A Nice labelling for tree-like event structures of degree 3 ⋮ Unnamed Item ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?
This page was built for software: POEM
