Towards formal verification of TOOLBUS scripts

被引：0
|
作者：
Fokkink, Wan [1 ]
Klint, Paul [1 ]
Lisser, Bert [1 ]
Usenko, Yaroslav S. [1 ]
机构：
[1] Ctr Wiskunde & Informat, Amsterdam, Netherlands
来源：
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS | 2008年 / 5140卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
TOOLBUS allows one to connect tools via a software bus. Programming is done using the scripting language TSCRIPT, which is based on the process algebra ACP. TSCRIPT was originally designed to enable formal verification, but this option has so far not been explored in any detail. We present a method for analyzing a TSCRIPT by translating it to the process algebraic language mCRL2, and then applying model checking to verify behavioral properties.
引用
收藏
页码：160 / 166
页数：7
相关论文
共 50 条
  • [1] Towards the Formal Verification of Optical Interconnects
    Afshar, Sanaz Khan
    Hasan, Osman
    Tahar, Sofiene
    [J]. 2014 IEEE 12TH INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS), 2014, : 157 - 160
  • [2] Towards formal verification of analog designs
    Gupta, S
    Krogh, BH
    Rutenbar, RA
    [J]. ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 210 - 217
  • [3] Towards formal verification on the system level
    Drechsler, R
    [J]. 15TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2004, : 2 - 5
  • [4] Towards Formal Verification of Program Obfuscation
    Lu, Weiyun
    Sistany, Bahman
    Felty, Amy
    Scott, Philip
    [J]. 2020 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (EUROS&PW 2020), 2020, : 635 - 644
  • [5] Towards Formal Verification of Distributed Algorithms
    Bollig, Benedikt
    [J]. 2015 22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2015, : 3 - 3
  • [6] Towards formal verification of web service composition
    Bai, XX
    Fan, YS
    [J]. PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT IN THE GLOBAL ECONOMY, 2005, : 577 - 581
  • [7] Towards the formal verification of electronic commerce protocols
    Bolignano, D
    [J]. 10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 133 - 146
  • [8] Towards Formal Evaluation and Verification of Probabilistic Design
    Lee, Nian-Ze
    Jiang, Jie-Hong R.
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2018, 67 (08) : 1202 - 1216
  • [9] REFINER: Towards Formal Verification of Model Transformations
    Wijs, Anton
    Engelen, Luc
    [J]. NASA FORMAL METHODS, NFM 2014, 2014, 8430 : 258 - 263
  • [10] A formal approach towards systems modeling and verification
    Bhattacharyya, J
    Chaudhuri, AD
    Bhattacharya, S
    [J]. IEEE TENCON 2003: CONFERENCE ON CONVERGENT TECHNOLOGIES FOR THE ASIA-PACIFIC REGION, VOLS 1-4, 2003, : 178 - 182
12345