The verified software repository: a step towards the verifying compiler
From MaRDI portal
Publication:2432233
DOI10.1007/s00165-005-0079-4zbMath1103.68452OpenAlexW2163743319WikidataQ123197485 ScholiaQ123197485MaRDI QIDQ2432233
J. C. Bicarregui, J. C. P. Woodcock, C. A. R. Hoare
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
toolssoftware engineeringprogram verificationassertional reasoningverified software repositoryverifying compilergrand challenges in computer science
Related Items
Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository ⋮ FDR explorer
Uses Software
Cites Work