DocumentCode
972050
Title
A VDM case study in mural
Author
Fields, Bob ; Elvang-Goransson, Morten
Author_Institution
ICI, Manchester, UK
Volume
18
Issue
4
fYear
1992
fDate
4/1/1992 12:00:00 AM
Firstpage
279
Lastpage
295
Abstract
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
Keywords
formal specification; interactive systems; program verification; software tools; theorem proving; VDM; Vienna development method; interactive theorem-proving assistant; mural; specification; specification support tool; verification; Application software; Computer aided software engineering; Concrete; Formal specifications; Inductors; Natural languages; Process design; Refining; Safety; Software tools;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.129217
Filename
129217
Link To Document