A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction

MaRDI QIDQ5155669zbMATH OpenFDO

Authors Thomas Neele, Antti Valmari, T. A. C. Willemse

Publication date 8 October 2021

Full work available at URL https://arxiv.org/abs/2012.15704, https://lmcs.episciences.org/7709

zbMATH Keywords

LTLpartial-order reductionstubborn setsstutter equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• The inconsistent labelling problem of stutter-preserving partial-order reduction
• A pragmatic approach to stateful partial order reduction
• Stubborn set intuition explained
• What's wrong with on-the-fly partial order reduction
• Abstractions for transition systems with applications to stubborn sets

Cites work

• A partial order approach to branching time logic model checking.
• A stubborn attack on state explosion
• Combining partial-order reductions with on-the-fly model-checking.
• Compositionality in state space verification methods
• scientific article; zbMATH DE number 6017853 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 1059329 (Why is no real title available?)
• scientific article; zbMATH DE number 1515297 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• On stubborn sets in the verification of linear time temporal properties
• Optimising the ProB model checker for B using partial order reduction
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Stubborn set intuition explained
• Stubborn set reduction for two-player reachability games
• The inconsistent labelling problem of stutter-preserving partial-order reduction

Cited in

(1)

• The inconsistent labelling problem of stutter-preserving partial-order reduction

This page was built for publication: A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5155669)