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

Issue

Vol. 6 No. 2 (1999): Theme: Requirements Engineering

Section

Featured Themes

License

AJIS publishes open-access articles distributed under the terms of a Creative Commons Non-Commercial and Attribution License which permits non-commercial use, distribution, and reproduction in any medium, provided the original author and AJIS are credited. All other rights including granting permissions beyond those in the above license remain the property of the author(s).