Mechanical Software Verification

DOI10.1016/S1571-0661(04)00282-8zbMath1268.68111OpenAlexW2026989220MaRDI QIDQ2841237

Wolfgang Goerigk

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00282-8

Mathematics Subject Classification ID

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

Uses Software

• ACL2
• PVS
• CESAR
• Piton
• ComLisp

Cites Work

• Compiler specification and verification
• SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mechanical Software Verification