Counterexample Simplification for Liveness Property Violation

DOI10.1007/978-3-319-92970-5_11zbMath1509.68156OpenAlexW2807114238MaRDI QIDQ6039385

Gwen Salaün, Vincent Leroy, Gianluca Barbon

Publication date: 5 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-92970-5_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Counterexample Simplification for Liveness Property Violation