scientific article; zbMATH DE number 7407780
From MaRDI portal
Publication:5155669
Antti Valmari, Thomas Neele, Tim A. C. Willemse
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/2012.15704
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A stubborn attack on state explosion
- Optimising the ProB model checker for B using partial order reduction
- 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
- The inconsistent labelling problem of stutter-preserving partial-order reduction
- Compositionality in state space verification methods
- Stubborn Set Intuition Explained
This page was built for publication:
