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 条
  • [11] Towards a compositional approach to the design and verification of distributed systems
    Charpentier, M
    Chandy, KM
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 570 - 589
  • [12] VERIFICATION IN-PROCESS ALGEBRA OF THE DISTRIBUTED CONTROL OF TRACK VEHICLES - A CASE-STUDY
    FISCHER, S
    SCHOLZ, A
    TAUBNER, D
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1994, 4 (02) : 99 - 122
  • [13] Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems
    Neysian, Behzad Soleimani
    Babamir, Seyed Morteza
    [J]. 2015 2ND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2015, : 796 - 801
  • [14] A process algebra with distributed priorities
    Cleaveland, R
    Luttgen, G
    Natarajan, V
    [J]. THEORETICAL COMPUTER SCIENCE, 1998, 195 (02) : 227 - 258
  • [15] The measurement quality verification process with application of distributed expert systems
    Badzmirowski, K
    Kern, J
    Liderman, K
    Zielinski, Z
    [J]. JOINT CONFERENCE - 1996: IEEE INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE & IMEKO TECHNICAL COMMITTEE 7, CONFERENCE PROCEEDINGS, VOLS I AND II: QUALITY MEASUREMENTS: THE INDISPENSABLE BRIDGE BETWEEN THEORY AND REALITY (NO MEASUREMENTS? NO SCIENCE!), 1996, : 1226 - 1231
  • [16] On a connection between cooperating distributed grammar systems and basic process algebra
    Csuhaj-Varju, Erzsebet
    [J]. FUNDAMENTA INFORMATICAE, 2006, 73 (1-2) : 37 - 50
  • [17] AUTOMATIC VERIFICATION OF DISTRIBUTED LOGIC SPECIFICATIONS
    MALL, R
    PATNAIK, LM
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (01): : 43 - 56
  • [18] Towards automatic temporal logic verification of value passing process algebra using abstract interpretation
    [J]. Lect Notes Comput Sci, (563):
  • [19] ARGONAUTE - GRAPHICAL DESCRIPTION, SEMANTICS AND VERIFICATION OF REACTIVE SYSTEMS BY USING A PROCESS ALGEBRA
    MARANINCHI, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 38 - 53
  • [20] A symbolic model checking approach in formal verification of distributed systems
    Souri, Alireza
    Rahmani, Amir Masoud
    Navimipour, Nima Jafari
    Rezaei, Reza
    [J]. HUMAN-CENTRIC COMPUTING AND INFORMATION SCIENCES, 2019, 9 (01):
12345