A Case Study on the Application of PVS to Requirements Analysis

Authors

  • Georg Droschl

DOI:

https://doi.org/10.3127/ajis.v6i2.298

Abstract

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.

Downloads

How to Cite

Droschl, G. (1999). A Case Study on the Application of PVS to Requirements Analysis. Australasian Journal of Information Systems, 6(2). https://doi.org/10.3127/ajis.v6i2.298