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.
No takes yet. Share an insight, caveat, or question.
Paul Mukherjee (1995) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: