Acceso al sitio web del Consejo de Políticas de Infraestructura

   
Redirigiendo al acceso original de articulo en 21 segundos...
ARTÍCULO
TITULO

A Case Study on the Application of PVS to Requirements Analysis

Georg Droschl    

Resumen

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.

PÁGINAS

 Artículos similares

       
 
Guangyu Jiang and Zhongjing Wang    
Water cycles exist in all processes of water resources utilization, including water-saving irrigation. Due to the complex water cycle process of irrigation, the ecological effects and safety of large-scale water-saving irrigation have received increasing... ver más
Revista: Water

 
Tímea Kiss, Gabriel J. Amissah and Károly Fiala    
Stone and concrete revetments are widely constructed to control bank erosion and thus stabilize river banks. The consequences include accelerated erosion at unrevetted downstream channel sections and in-channel incision at revetted sections. The studied ... ver más
Revista: Water

 
Tienan Li, Xueting Zeng, Cong Chen, Xiangmin Kong, Junlong Zhang, Ying Zhu, Fan Zhang and He Dong    
In this study, an initial water-rights allocation (IWRA) model is proposed for adjusting the traditional initial water-rights empowerment model based on previous water intake permits, with the aim of improving the productivity of water resources under po... ver más
Revista: Water

 
Fei Wang, Zongmin Wang, Haibo Yang, Yong Zhao, Zezhong Zhang, Zhenhong Li and Zafar Hussain    
Drought is a complex natural phenomenon that occurs throughout the world. Analyzing and grasping the occurrence and development of drought events is of great practical significance for preventing drought disasters. In this study, the Standardized Precipi... ver más
Revista: Water

 
Huiying Ren, Z. Jason Hou, Mark Wigmosta, Ying Liu and L. Ruby Leung    
Changes in extreme precipitation events may require revisions of civil engineering standards to prevent water infrastructures from performing below the designated guidelines. Climate change may invalidate the intensity-duration-frequency (IDF) computatio... ver más
Revista: Water