The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1992 vol.18)
pp: 279-295
ABSTRACT
<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>
INDEX TERMS
VDM; interactive theorem-proving assistant; specification support tool; mural; specification; verification; Vienna development method; formal specification; interactive systems; program verification; software tools; theorem proving
CITATION
B. Fields, M. Elvang-Goransson, "A VDM Case Study in Mural", IEEE Transactions on Software Engineering, vol.18, no. 4, pp. 279-295, April 1992, doi:10.1109/32.129217
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool