Compositional safety refutation techniques

DOI10.1007/978-3-319-68167-2_12MaRDI QIDQ5096081zbMATH OpenOpenAlexFDO

Authors K. Madhukar, Peter Schrammel, Mandayam Srivas

Publication date 12 August 2022

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL http://sro.sussex.ac.uk/69533/1/paper.pdf

Mathematics Subject Classification ID

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

Recommendations

• Computer Aided Verification
• scientific article; zbMATH DE number 1953015
• On the computation of counterexamples in compositional nonblocking verification
• Counterexamples revisited: principles, algorithms, applications
• Bounded model checking and induction: From refutation to verification (extended abstract, Category A)

Cited in

(1)

• Proving Safety Properties of Rewrite Theories

This page was built for publication: Compositional safety refutation techniques

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