Debugging of concurrent systems using counterexample analysis

DOI10.1007/978-3-319-68972-2_2zbMath1498.68150OpenAlexW2740174432MaRDI QIDQ2093147

Gianluca Barbon, Gwen Salaün, Vincent Leroy

Publication date: 4 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-68972-2_2

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)

This page was built for publication: Debugging of concurrent systems using counterexample analysis