The Community for Technology Leaders
Green Image
Issue No. 04 - April (1992 vol. 18)
ISSN: 0098-5589
pp: 279-295
<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.
92 ms
(Ver 3.3 (11022016))