Open AccessA Case Study on the Application of PVS to Requirements Analysis
Author(s) -
Georg Droschl
Publication year - 1999
Publication title -
ajis. australasian journal of information systems/ajis. australian journal of information systems/australian journal of information systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.351
H-Index - 18
eISSN - 1326-2238
pISSN - 1039-7841
DOI - 10.3127/ajis.v6i2.298
Subject(s) - requirements analysis , computer science , business , process management , risk analysis (engineering) , programming language , software
This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control system. PVS is a tool for writing formal specifications and constructing proofs. Previously, the same requirements have been analyzed by means of testing supported by the IFAD Toolbox for VDM-SL. The capabilities of the two formal methods are compared
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom