Flexible proof reuse for software verification

DOI10.1007/978-3-540-27815-3_19MaRDI QIDQ5312981zbMATH OpenOpenAlexFDO

Authors Chris Hunter, Paul Strooper, Peter Robinson

Publication date 25 August 2005

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Reuse of proofs in software verification
• scientific article; zbMATH DE number 1552515
• Proof by analogy in mural
• Proving theorems by reuse
• Theorem reuse by proof term transformation

Cited in

(5)

• Reuse of proofs in software verification
• Slicing techniques for verification re-use
• scientific article; zbMATH DE number 1552515 (Why is no real title available?)
• Reuse in Software Verification by Abstract Method Calls
• Theorem reuse by proof term transformation

This page was built for publication: Flexible proof reuse for software verification

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