Issue No. 04 - April (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.129217
<p>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.</p>
VDM; interactive theorem-proving assistant; specification support tool; mural; specification; verification; Vienna development method; formal specification; interactive systems; program verification; software tools; theorem proving
M. Elvang-Goransson and B. Fields, "A VDM Case Study in Mural," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 279-295, 1992.