The Kiv-approach to software verification
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 339-368
- https://doi.org/10.1007/bfb0015471
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- m-NEVER system summaryPublished by Springer Nature ,2005
- Three selected case studies in verificationPublished by Springer Nature ,1995
- AVL trees revisited: A case study in SpectrumPublished by Springer Nature ,1995
- A method for the development of correct softwarePublished by Springer Nature ,1995
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 1988
- The karlsruhe induction theorem proving systemPublished by Springer Nature ,1986
- On hierarchies of abstract data typesActa Informatica, 1983
- Implementation of parameterised specificationsPublished by Springer Nature ,1982
- Hierarchical program specification and verification ? a many-sorted logical approachActa Informatica, 1980
- Proof of correctness of data representationsActa Informatica, 1972