A VDM case study in mural
Benjamin C. Fields, Morten Elvang-Gøransson · IEEE Transactions on Software Engineering · 1992
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.>