A Case Study on the Application of PVS to Requirements Analysis

Australasian Journal of Information Systems

Georg Droschl¹ 

[1] Georg Droschl

关键词: requirement engineering;    reuse;    cross-domain;    Reuse Assisted Requirements Engineering;   

DOI  :  10.3127/ajis.v6i2.298

学科分类：计算机科学（综合）

来源: University of Canberra * Faculty of Information Sciences and Engineering

【 摘 要 】

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.

【 授权许可】

Unknown