A Case Study on the Application of PVS to Requirements Analysis

Georg Droschl
1999 Australasian Journal of Information Systems  
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.
doi:10.3127/ajis.v6i2.298 fatcat:cnk4l6h6b5gmdbb352crkrla44