Fair testing and stubborn sets

DOI10.1007/978-3-319-32582-8_16MaRDI QIDQ2814628zbMATH OpenOpenAlexFDO

Authors Antti Valmari, Walter Vogler

Publication date 22 June 2016

Published in Model Checking Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-32582-8_16

zbMATH Keywords

fair testing equivalencefairnesspartial-order methodsprogress

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Stubborn Sets, Frozen Actions, and Fair Testing
• scientific article; zbMATH DE number 1418454
• Combining partial-order reductions with on-the-fly model-checking.
• Stubborn set intuition explained
• Fair simulation

Cited in

(3)

• Stubborn versus structural reductions for Petri nets
• Automata-driven partial order reduction and guided search for LTL model checking
• Stubborn Sets, Frozen Actions, and Fair Testing

This page was built for publication: Fair testing and stubborn sets

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