Automatic verification of distributed systems: The process algebra approach

被引：3
|
作者：
Inverardi, P
Priami, C
机构：
[1] UNIV LAQUILA, DIPARTIMENTO MATEMAT PURA & APPLICATA, I-67010 LAQUILA, ITALY
[2] UNIV PISA, DIPARTIMENTO INFORMAT, I-56100 PISA, ITALY
来源：
FORMAL METHODS IN SYSTEM DESIGN | 1996年 / 8卷 / 01期
关键词：
distributed and concurrent systems; automatic verification; process algebra; tools;
D O I：
10.1007/BF00121261
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A survey of tools for the analysis of distributed systems represented through process algebras is presented. The tools are compared with respect to a set of qualitative parameters. From this analysis, the properties which are desirable for concurrency tools are investigated. Criteria to evaluate the suitability of a tool with respect to a particular user are proposed.
引用
收藏
页码：7 / 38
页数：32
相关论文
共 50 条
  • [1] Automatic verification of distributed systems: The process algebra approach
    Universita di L'Aquila, L'Aquila, Italy
    [J]. Formal Methods Syst Des, 1 (7-38):
  • [2] Automatic verification for a class of distributed systems
    Manduchi, G
    Moro, M
    [J]. DISTRIBUTED COMPUTING, 2000, 13 (03) : 127 - 143
  • [3] Automatic verification for a class of distributed systems
    G. Manduchi
    M. Moro
    [J]. Distributed Computing, 2000, 13 : 127 - 143
  • [4] Business process automatic verification with a compositional approach
    Mendoza Morales, Luis E.
    Capel Tunon, Manuel I.
    Perez, Maria A.
    [J]. REVISTA TECNICA DE LA FACULTAD DE INGENIERIA UNIVERSIDAD DEL ZULIA, 2013, 36 (01): : 70 - 79
  • [5] A probabilistic approach to automatic verification of concurrent systems
    Tronci, E
    Della Penna, G
    Intrigila, B
    Zilli, MV
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 317 - 324
  • [6] An Approach to the Verification of Symmetric Parameterized Distributed Systems
    I. V. Konnov
    V. A. Zakharov
    [J]. Programming and Computer Software, 2005, 31 : 225 - 236
  • [7] An approach to the verification of symmetric parameterized distributed systems
    Konnov, IV
    Zakharov, VA
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2005, 31 (05) : 225 - 236
  • [8] A Formal Approach for Modeling and Verification of Distributed Systems
    Ren, Gang
    Deng, Pan
    Yang, Chao
    Zhang, Jianwei
    Hua, Qingsong
    [J]. CLOUD COMPUTING (CLOUDCOMP 2015), 2016, 167 : 317 - 322
  • [9] New Verification Approach for Reconfigurable Distributed Systems
    Khlifi, Oussama
    Mosbahi, Olfa
    Khalgui, Mohamed
    Frey, Georg
    [J]. ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, : 355 - 362
  • [10] A generic approach for the automatic verification of featured, parameterised systems
    Miller, A
    Calder, M
    [J]. FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VIII, 2005, : 217 - 235
12345