Fair Testing and Stubborn Sets

DOI10.1007/978-3-319-32582-8_16zbMath1354.68203OpenAlexW2492122035MaRDI QIDQ2814628

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

progressfairnesspartial-order methodsfair testing equivalence

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)

Related Items (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