Correctness of generic modules
- 13 June 2005
- book chapter
- Published by Springer Nature
- p. 406-417
- https://doi.org/10.1007/bfb0023893
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Implementing verification strategies in the KIV-systemPublished by Springer Nature ,2005
- Basic Operations on Module SpecificationsPublished by Springer Nature ,1990
- On the verification of modulesPublished by Springer Nature ,1990
- Parallel Program DesignPublished by Springer Nature ,1989
- A dynamic logic for program verificationPublished by Springer Nature ,1989
- Algebraic specification of modules and their basic interconnectionsJournal of Computer and System Sciences, 1987
- Proving program inclusion using Hoare's logicTheoretical Computer Science, 1984
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Proof of correctness of data representationsActa Informatica, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969