The verified software repository: a step towards the verifying compiler

DOI10.1007/S00165-005-0079-4MaRDI QIDQ2432233zbMATH OpenOpenAlexWikidataFDO

Authors J. Bicarregui, Tony Hoare, Jim Woodcock

Publication date 25 October 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://purl.org/net/epubs/manifestation/12376156/GC6-paper-20-12-2004.pdf

zbMATH Keywords

toolsprogram verificationsoftware engineeringassertional reasoningverified software repositoryverifying compilergrand challenges in computer science

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• POSIX file store in Z/Eves: An experiment in the verified software repository
• scientific article; zbMATH DE number 1956470
• Verified squared, does critical software deserve verified tools?
• Verified software toolchain (invited talk)

Cites work

• SPARK

Cited in

(9)

• scientific article; zbMATH DE number 1956470 (Why is no real title available?)
• Verified Compilation and the B Method: A Proposal and a First Appraisal
• Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
• POSIX file store in Z/Eves: An experiment in the verified software repository
• Verified squared, does critical software deserve verified tools?
• FDR explorer
• The Verified Software Initiative: A Manifesto
• Verified software toolchain (invited talk)
• Verification, Model Checking, and Abstract Interpretation

Describes a project that uses

Uses Software

• Z/EVES
• HOL
• SPIN
• SPARK

This page was built for publication: The verified software repository: a step towards the verifying compiler

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