Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository-Reference-Cited by-同舟云学术

Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository

Published:2009-02 Issue:4 Volume:74 Page:197-218
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Freitas Leo,Woodcock Jim,Zhang Yichi

Publisher

Elsevier BV

Subject

Software

Reference28 articles.

1. The verified software repository: A step towards the verifying compiler;Bicarregui;Formal Aspects of Computing,2006

2. S. Croxall, P.J. Lupton, J.B. Wordsworth, A formal specification of the CPI communications, Technical Report TR12.277, IBM Hursley Park, December 1990

3. Introducing formal methods: The CICS experience with Z;Collins,1991

4. Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository;Freitas,2007

5. I.J. Hayes, Specifying the CICS application programmers interface, Technical Monograph PRG-47, Oxford University Computing Laboratory, January 1987

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Problematizing the Adoption of Formal Methods in the 4IR–5IR Transition;Applied System Innovation;2022-12-17

2. Checking the consistency of Object-Z formal specification based on theorem proof;Journal of Computational Methods in Sciences and Engineering;2020-04-10

3. Checking Object-Z Formal Specification with Z/EVES automatically;IOP Conference Series: Materials Science and Engineering;2019-04-10

4. Proof Patterns for Formal Methods;Lecture Notes in Computer Science;2014

5. The Tokeneer Experiments;Reflections on the Work of C.A.R. Hoare;2010