A VDM case study in mural |
| |
Authors: | Fields B Elvang-Goransson M |
| |
Affiliation: | ICI, Manchester; |
| |
Abstract: | The application of an interactive theorem-proving assistant and specification support tool called mural in the specification and verification of a small Vienna development method (VDM) development is described. It is the authors' intention to give a feel for how mural works and of mural's applicability as a tool in specifying and verifying software |
| |
Keywords: | |
|
|