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, B. Fields, "A VDM Case Study in Mural", IEEE Transactions on Software Engineering, vol. 18, no. , pp. 279-295, April 1992, doi:10.1109/32.129217
210 ms
(Ver 3.1 (10032016))