Three selected case studies in verification
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 369-387
- https://doi.org/10.1007/bfb0015472
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The Korso case study for software engineering with formal methods: A medical information systemPublished by Springer Nature ,1995
- The Kiv-approach to software verificationPublished by Springer Nature ,1995
- A method for the development of correct softwarePublished by Springer Nature ,1995
- Reuse of proofs in software verificationPublished by Springer Nature ,1993
- Verification of large software systemsPublished by Springer Nature ,1992
- Tactical theorem proving in program verificationPublished by Springer Nature ,1990
- Dynamic hashingBIT Numerical Mathematics, 1978