Publication | Closed Access
A VDM case study in mural
13
Citations
9
References
1992
Year
EngineeringComputer Graphic TechniqueVerificationSoftware EngineeringComputer-aided DesignSoftware AnalysisFormal VerificationVisual ArtsSocial SciencesComputer-generated ImagerySpecification Support ToolInteractive Theorem-proving AssistantFormal TechniqueSemi-formal VerificationMural WorksVirtual DesignProgramming LanguagesFormal SpecificationDesignComputer ScienceVdm Case StudySoftware VerificationSpecification LanguageAutomated ReasoningFormal MethodsSystem Specification
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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1