Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
From MaRDI portal
Publication:1004294
DOI10.1016/j.scico.2008.09.012zbMath1178.68527WikidataQ126190056 ScholiaQ126190056MaRDI QIDQ1004294
Yichi Zhang, Leo Freitas, J. C. P. Woodcock
Publication date: 2 March 2009
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2008.09.012
theorem proving; Z notation; Z/Eves; file API; grand challenge in verified software; IBM CICS; mechanical proof; verification challenge problems; verified software repository
68N99: Theory of software
Uses Software
Cites Work