TRANSYT:: A tool for the verification of asynchronous concurrent systems

被引：0
|
作者：
Pastor, E [1 ]
Peña, MA [1 ]
Solé, M [1 ]
机构：
[1] Tech Univ Catalonia, Dept Comp Architecture, Barcelona 08860, Spain
来源：
COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2005年 / 3576卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：424 / 428
页数：5
相关论文
共 50 条
  • [1] Compositional verification of asynchronous concurrent systems using CADP
    Garavel, Hubert
    Lang, Frederic
    Mateescu, Radu
    [J]. ACTA INFORMATICA, 2015, 52 (4-5) : 337 - 392
  • [2] Compositional verification of asynchronous concurrent systems using CADP
    Hubert Garavel
    Frédéric Lang
    Radu Mateescu
    [J]. Acta Informatica, 2015, 52 : 337 - 392
  • [3] Verification of concurrent objects with asynchronous method calls
    Dovland, J
    Johnsen, EB
    Owe, O
    [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE - SCIENCE, TECHNOLOGY AND ENGINEERING, PROCEEDINGS, 2005, : 141 - 150
  • [4] On the Verification of Concurrent, Asynchronous Programs with Waiting Queues
    Geeraerts, Gilles
    Heussner, Alexander
    Raskin, Jean-Francois
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [5] ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems
    Suraj, Zbigniew
    Pancerz, Krzysztof
    [J]. FUNDAMENTA INFORMATICAE, 2013, 126 (04) : 335 - 351
  • [6] THE CONCURRENCY WORKBENCH - A SEMANTICS-BASED TOOL FOR THE VERIFICATION OF CONCURRENT SYSTEMS
    CLEAVELAND, R
    PARROW, J
    STEFFEN, B
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (01): : 36 - 72
  • [7] Property verification of asynchronous systems
    Cerone, Antonio
    Milne, George J.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2005, 1 (01) : 25 - 40
  • [8] The VerCors Tool for Verification of Concurrent Programs
    Blom, Stefan
    Huisman, Marieke
    [J]. FM 2014: FORMAL METHODS, 2014, 8442 : 127 - 131
  • [9] Distributed monitoring of concurrent and asynchronous systems
    Fabre, E
    Benveniste, A
    Haar, S
    Jard, C
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (01): : 33 - 84
  • [10] Distributed monitoring of concurrent and asynchronous systems
    Benveniste, A
    Haar, S
    Fabre, E
    Jard, C
    [J]. CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 1 - 26
12345