A VDM case study in mural
- 1 April 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (4) , 279-295
- https://doi.org/10.1109/32.129217
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A framework for defining logicsJournal of the ACM, 1993
- mural: A Formal Development Support SystemPublished by Springer Nature ,1991
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- The editor's pageEnvironmental Software, 1988
- Using VDM with rely and guarantee-conditionsPublished by Springer Nature ,1988
- The application of formal methods to the assessment of high integrity softwareIEEE Transactions on Software Engineering, 1986
- A logic covering undefinedness in program proofsActa Informatica, 1984
- Edinburgh LCFLecture Notes in Computer Science, 1979