Title :
A VDM case study in mural
Author :
Fields, Bob ; Elvang-Goransson, Morten
Author_Institution :
ICI, Manchester, UK
fDate :
4/1/1992 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
