The verified software repository: a step towards the verifying compiler

DOI10.1007/S00165-005-0079-4zbMATH Open1103.68452OpenAlexW2163743319WikidataQ123197485 ScholiaQ123197485MaRDI QIDQ2432233FDOQ2432233

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

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)

zbMATH Keywords

toolsprogram verificationsoftware engineeringassertional reasoningverified software repositoryverifying compilergrand challenges in computer science

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• SPARK

Cited In (8)

• Title not available (Why is that?)
• 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
• FDR explorer
• The Verified Software Initiative: A Manifesto
• Verified software toolchain (invited talk)
• Verification, Model Checking, and Abstract Interpretation

Uses Software

• SPARK
• SPIN
• HOL
• Z/EVES

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)