Title :
Computer-aided validation of formal specifications
Author_Institution :
Dept. of Comput. Sci., London Univ., UK
fDate :
7/1/1995 12:00:00 AM
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 :
computer aided software engineering; formal specification; formal verification; software tools; specification languages; CASE tools; VDM-SL specification language; computer-aided validation; formal specifications; mechanical analysis; system requirements;
Journal_Title :
Software Engineering Journal
