Understanding counterexamples for relational properties with \textit{DIbugger}

MaRDI QIDQ5016380zbMATH OpenFDO

Authors Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert

Publication date 13 December 2021

Full work available at URL https://arxiv.org/abs/1907.03996, http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVSPERR2019.4

Mathematics Subject Classification ID

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

Recommendations

• Computer Aided Verification
• Debugging of concurrent systems using counterexample analysis
• scientific article; zbMATH DE number 1852164
• Tools and Algorithms for the Construction and Analysis of Systems
• Fundamental Approaches to Software Engineering

Cites work

• Computer Aided Verification
• Relational program reasoning using compiler IR

Cited in

(2)

• How helpers hasten h-relations
• Computer Aided Verification

This page was built for publication: Understanding counterexamples for relational properties with \textit{DIbugger}

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