Formal System Development with KIV
- 19 May 2000
- book chapter
- Published by Springer Nature
- p. 363-366
- https://doi.org/10.1007/3-540-46428-x_25
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Interactive correctness proofs for software modules using KIVPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Kiv-approach to software verificationPublished by Springer Nature ,1995
- Reuse of proofs in software verificationPublished by Springer Nature ,1993
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979