Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308392zbMATH OpenOpenAlexFDO

Authors Alex Groce

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

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

Recommendations

• Computer Aided Verification
• scientific article; zbMATH DE number 1982201
• Verification, Model Checking, and Abstract Interpretation
• Making the most of BMC counterexamples
• Debugging of concurrent systems using counterexample analysis

Cited in

(10)

• Estimation of errors between Euclidean and m-neighbor distance
• Generating error traces from verification-condition counterexamples
• Explaining counterexamples using causality
• Error distribution of zero-effort miss distance under mode mismatch
• Automated Technology for Verification and Analysis
• Diagnostic Information for Realizability
• Verification, Model Checking, and Abstract Interpretation
• Operational causality -- necessarily sufficient and sufficiently necessary
• From verification to causality-based explications (invited talk)
• Counterfactual explanations for MITL violations

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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