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

DOI10.1007/978-3-030-45231-5_25MaRDI QIDQ2200842zbMATH OpenOpenAlexWikidataFDO

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

Publication date 23 September 2020

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1910.09829

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

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

Cites work

• 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?)
• 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.
• On stubborn sets in the verification of linear time temporal properties
• Partial Order Reduction for State/Event LTL
• Partial order reduction for reachability games
• Partial order reduction for state/event LTL with application to component-interaction automata
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Stubborn set intuition explained

Cited in

(4)

• Stubborn Sets, Frozen Actions, and Fair Testing
• Partial-order reduction for parity games with an application on parameterised Boolean equation systems
• Exponential automatic amortized resource analysis
• scientific article; zbMATH DE number 7407780 (Why is no real title available?)

This page was built for publication: 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 Q2200842)