Safety property-driven stubborn sets

DOI10.1007/978-3-319-45994-3_7zbMath1478.68191OpenAlexW2520221671MaRDI QIDQ1708658

Henri Hansen, Antti Valmari

Publication date: 26 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-45994-3_7

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: Safety property-driven stubborn sets