Reuse of proofs in software verification

DOI10.1007/BF02745521zbMath1058.68525MaRDI QIDQ1419888

Wolfgang Reif, Kurt Stenzel

Publication date: 27 January 2004

Published in: Sādhanā (Search for Journal in Brave)

zbMATH Keywords

software verificationautomated reuse of proofs

Mathematics Subject Classification ID

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

Related Items

Proving theorems by reuse ⋮ Internal analogy in theorem proving

Uses Software

• HOL
• Nuprl
• Piton

Cites Work

• First-order dynamic logic
• Isabelle. A generic theorem prover
• Unnamed Item
• Unnamed Item
• Unnamed Item