1. A VDM Case Study in mural.
- Author
-
Fields, Bob and Elvang-Gøransson, Morten
- Subjects
COMPUTER software development ,COMPUTER software ,COMPUTER programming management ,SOFTWARE patterns ,COMPUTER interfaces ,COMPUTER software industry - Abstract
This paper describes the application of an interactive theorem-proving assistant and specification support tool called mural in the specification and verification of a small VDM development. The paper's intention is to give a feel for how mural works and of mural's applicability as a tool in specifying and verifying software. [ABSTRACT FROM AUTHOR]
- Published
- 1992
- Full Text
- View/download PDF