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