A Case Study on the Application of PVS to Requirements Analysis

Authors

• Georg DroschlFollow

Document Type

Research Article

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.

Recommended Citation

Droschl, Georg (1999) "A Case Study on the Application of PVS to Requirements Analysis," The Australasian Journal of Information Systems: Vol. 6: No. 2, Article 20.
DOI: 10.3127/ajis.v6i2.298
Available at: https://aisel.aisnet.org/ajis/vol6/iss2/20