Computer-aided validation of formal specifications
Paul Mukherjee · Software Engineering Journal · 1995
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.