The inconsistent labelling problem of stutter-preserving partial-order reduction
From MaRDI portal
Publication:2200842
DOI10.1007/978-3-030-45231-5_25OpenAlexW3022341879WikidataQ109594181 ScholiaQ109594181MaRDI QIDQ2200842
Antti Valmari, Thomas Neele, Tim A. C. Willemse
Publication date: 23 September 2020
Full work available at URL: https://arxiv.org/abs/1910.09829
Related Items
Exponential automatic amortized resource analysis, Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems, Stubborn Sets, Frozen Actions, and Fair Testing, Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Partial order reduction for state/event LTL with application to component-interaction automata
- A stubborn attack on state explosion
- Combining partial-order reductions with on-the-fly model-checking.
- On stubborn sets in the verification of linear time temporal properties
- A partial order approach to branching time logic model checking.
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Partial Order Reduction for State/Event LTL
- Stubborn Set Intuition Explained
- Partial order reduction for reachability games
