Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository

DOI10.1016/J.SCICO.2008.09.012zbMATH Open1178.68527OpenAlexW2050774808WikidataQ126190056 ScholiaQ126190056MaRDI QIDQ1004294FDOQ1004294

Authors: Leo Freitas, Yichi Zhang, Jim 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

Recommendations

• POSIX file store in Z/Eves: An experiment in the verified software repository
• The verified software repository: a step towards the verifying compiler
• VCS: a verifier for component-based systems

zbMATH Keywords

theorem provingZ/Evesfile APIgrand challenge in verified softwareIBM CICSmechanical proofverification challenge problemsverified software repositoryZ notation

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Z/Eves and the Mondex Electronic Purse
• The verified software repository: a step towards the verifying compiler
• Title not available (Why is that?)

Cited In (2)

• POSIX file store in Z/Eves: An experiment in the verified software repository
• The tokeneer experiments

Uses Software

• Z/EVES
• Z

This page was built for publication: Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository

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