Debugging of concurrent systems using counterexample analysis

DOI10.1007/978-3-319-68972-2_2MaRDI QIDQ2093147zbMATH OpenOpenAlexFDO

Authors Gianluca Barbon, Vincent Leroy, Gwen Salaün

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)

Recommendations

• Counterexample Simplification for Liveness Property Violation
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1982201
• Constraint-based debugging in probabilistic model checking
• Counterexample classification

Cited in

(10)

• Tools and Algorithms for the Construction and Analysis of Systems
• A Debugging Game for Probabilistic Models
• Understanding counterexamples for relational properties with \textit{DIbugger}
• scientific article; zbMATH DE number 1982201 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Counterexample classification
• scientific article; zbMATH DE number 1852164 (Why is no real title available?)
• Counterexample Simplification for Liveness Property Violation
• Debugging process algebra specifications
• Fundamental Approaches to Software Engineering

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2093147)