Computer-aided validation of formal specifications
- 1 January 1995
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 10 (4) , 133-140
- https://doi.org/10.1049/sej.1995.0017
Abstract
As the use of formal specification techniques becomes more widespread, it becomes more important than ever to ensure that the formal specification of a system is a faithful representation of the system's requirements. CASE tools can help with this problem by performing mechanical analysis of the specification. The paper describes the scope and limitations of one such tool for the specification language VDM-SL, based on two case studies, and compares the use of this tool to other validation techniques.Keywords
This publication has 6 references indexed in Scilit:
- Proof in VDM: A Practitioner’s GuidePublished by Springer Nature ,1994
- The VDM-SL Reference GuidePublished by Taylor & Francis ,1991
- An executable subset of Meta-IV with loose specificationPublished by Springer Nature ,1991
- mural: A Formal Development Support SystemPublished by Springer Nature ,1991
- From Z Specifications To Functional ImplementationsPublished by Springer Nature ,1990
- Computer Aided Transformation of Z into PrologPublished by Springer Nature ,1990