Critical systems validation and verification with CSP and FDR

被引：0
|
作者：
Goldsmith, M
Zakiuddin, I
机构：
[1] Formal Syst Europe Ltd, Oxford OX4 1JS, England
[2] Def Evaluat & Res Agcy, Malvern, Worcs, England
来源：
APPLIED FORMAL METHODS - FM-TRENDS 98 | 1999年 / 1641卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Formal Systems and DERA have enjoyed a number of fruitful collaborations in recent years, especially in projects exploiting the FDR tool to analyse CSP models of systems. This paper presents an overview of the approach and some of the diverse applications to which it has been applied.
引用
收藏
页码：243 / 250
页数：8
相关论文
共 50 条
  • [31] THE VERIFICATION AND VALIDATION OF KNOWLEDGE BASED SYSTEMS
    PLANT, RT
    AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 150 - 156
  • [32] Verification and Validation for Trustworthy Software Systems
    Michael, James Bret
    Drusinsky, Doron
    Otani, Thomas W.
    Shing, Man-Tak
    IEEE SOFTWARE, 2011, 28 (06) : 86 - 92
  • [33] Refinement and verification of concurrent systems specified in Object-Z and CSP
    Smith, G
    Derrick, J
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 293 - 302
  • [34] VERIFICATION AND VALIDATION OF KNOWLEDGE MANAGEMENT SYSTEMS
    Mazilescu, Vasile
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON BUSINESS EXCELLENCE, VOL 1, 2009, : 286 - 289
  • [35] CSP Specification and Verification of Relay-based Railway Interlocking Systems
    Pereira, D. I. de Almeida
    Oliveira, M. V. M.
    Bezerra, P. E. R.
    Bon, P.
    Collart-Dutilleul, S.
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 97 - 106
  • [36] FORMAL VERIFICATION OF ALGORITHMS FOR CRITICAL SYSTEMS
    RUSHBY, JM
    VONHENKE, F
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 13 - 23
  • [37] Formal Validation and Verification of a Medical Software Critical Component
    Arcaini, Paolo
    Bonfanti, Silvia
    Gargantini, Angelo
    Mashkoor, Atif
    Riccobene, Elvinia
    2015 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE), 2015, : 80 - 89
  • [38] Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP
    Smith, G
    Derrick, J
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (03) : 249 - 284
  • [39] Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
    Graeme Smith
    John Derrick
    Formal Methods in System Design, 2001, 18 : 249 - 284
  • [40] Autonomous Systems and the Challenges in Verification, Validation, and Test
    Yeh, David
    IEEE DESIGN & TEST, 2018, 35 (03) : 89 - 97
12345