Optimal dynamic partial order reduction with observers
From MaRDI portal
Publication:2324230
DOI10.1007/978-3-319-89963-3_14zbMath1423.68093OpenAlexW2778798134WikidataQ58967472 ScholiaQ58967472MaRDI QIDQ2324230
Konstantinos Sagonas, Magnus Lång, Bengt Jonsson, Stavros Aronis
Publication date: 16 September 2019
Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-333508
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Stateless model checking under a reads-value-from equivalence ⋮ Computing race variants in message-passing concurrent programming with selective receives ⋮ Unfolding-based dynamic partial order reduction of asynchronous distributed programs
This page was built for publication: Optimal dynamic partial order reduction with observers
