DocumentCode
881110
Title
Computer-aided validation of formal specifications
Author
Mukherjee, Paul
Author_Institution
Dept. of Comput. Sci., London Univ., UK
Volume
10
Issue
4
fYear
1995
fDate
7/1/1995 12:00:00 AM
Firstpage
133
Lastpage
140
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
403800
Link To Document