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 条
  • [31] Towards formal verification of cryptographic circuits: A functional approach
    Bitat, Abir
    Merniz, Salah
    2018 3RD INTERNATIONAL CONFERENCE ON PATTERN ANALYSIS AND INTELLIGENT SYSTEMS (PAIS), 2018, : 158 - 163
  • [32] Towards Formal Verification of Orchestration Computations Using the K Framework
    AlTurki, Musab A.
    Alzuhaibi, Omar
    FM 2015: FORMAL METHODS, 2015, 9109 : 40 - 56
  • [33] Towards a Formal Approach for the Verification of SCA/BPEL Software Architectures
    Taoufik, Sakka Rouis
    Tahar, Bhiri Mohamed
    Layth, Sliman
    Mourad, Kmimech
    2017 8TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS & APPLICATIONS (IISA), 2017, : 487 - 492
  • [34] Towards Formal Verification of Adaptive Cruise Controller using SpaceEx
    Mishra, Ambuj
    Roy, Subir K.
    2016 INTERNATIONAL CONFERENCE ON VLSI SYSTEMS, ARCHITECTURES, TECHNOLOGY AND APPLICATIONS (VLSI-SATA), 2016,
  • [35] Towards formal verification of UML diagrams based on graph transformation
    Zhao, Y
    Fan, YS
    Bai, XM
    Wang, Y
    Cai, H
    Ding, W
    PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY FOR DYNAMIC E-BUSINESS, 2004, : 180 - 187
  • [36] Towards the formal verification of lower system layers in automotive systems
    Beyer, S
    Böhm, P
    Knapp, S
    Gerke, M
    Leinenbach, D
    Hillebrand, M
    Paul, WJ
    der Rieden, TI
    2005 IEEE International Conference on Computer Design: VLSI in Computers & Processors, Proceedings, 2005, : 317 - 324
  • [37] Towards Formal Verification of Business Process using a Graphical Specification
    El Hichami, Outman
    El Mohajir, Badr Eddine
    Al Achhab, Mohammed
    Berrada, Ismail
    Oucheikh, Rachid
    2014 THIRD IEEE INTERNATIONAL COLLOQUIUM IN INFORMATION SCIENCE AND TECHNOLOGY (CIST'14), 2014, : 12 - 17
  • [38] Towards automatic generation of formal specifications for CML consistency verification
    Sharbaf, Mohammadreza
    Zamani, Bahman
    Ladani, Behrouz Tork
    2015 2ND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2015, : 860 - 865
  • [39] Towards a formal verification of OWL-S Process Models
    Ankolekar, A
    Paolucci, M
    Sycara, K
    SEMANTIC WEB - ISWC 2005, PROCEEDINGS, 2005, 3729 : 37 - 51
  • [40] Towards the Formal Verification of SysML v2 Models
    Molnar, Vince
    Graics, Bence
    Voros, Andras
    Tonetta, Stefano
    Cristoforetti, Luca
    Kimberly, Greg
    Dyer, Pamela
    Giammarco, Kristin
    Koethe, Manfred
    Hester, John
    Smith, Jamie
    Grimm, Christoph
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 1086 - 1095
12345