VDM proof obligations and their justification
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 260-286
- https://doi.org/10.1007/3-540-17654-3_15
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Equational Specification of Partial Higher Order AlgebrasPublished by Springer Nature ,1987
- Program Specification and Verification in VDMPublished by Springer Nature ,1987
- Non-deterministic data types: models and implementationsActa Informatica, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- A logic covering undefinedness in program proofsActa Informatica, 1984
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- The Science of ProgrammingPublished by Springer Nature ,1981
- Constructing a theory of a data structure as an aid to program developmentActa Informatica, 1979
- Proof of correctness of data representationsActa Informatica, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969