An approach to the verification of symmetric parameterized distributed systems

被引：2
|
作者：
Konnov, IV [1 ]
Zakharov, VA [1 ]
机构：
[1] Moscow MV Lomonosov State Univ, Fac Computat Math & Cybernet, Moscow 119992, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2005年 / 31卷 / 05期
关键词：
Operating System; Artificial Intelligence; Software Engineer;
D O I：
10.1007/s11086-005-0034-4
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
An approach to the verification of symmetric parameterized distributed systems was described. One of the methods of formal program verification is model checking (MC). Many MC algorithms can be applied only to models with a finite number of states. The MC method of verification of parameterized systems described, enables a complete automatic check of a class of parameterized rings.
引用
收藏
页码：225 / 236
页数：12
相关论文
共 50 条
  • [1] 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
  • [2] QUICKSILVER: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
    Jaber, Nouraldin
    Wagner, Christopher
    Jacobs, Swen
    Kulkarni, Milind
    Samanta, Roopsha
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
  • [3] Parameterized verification of π-calculus systems
    Yang, Ping
    Basu, Samik
    Ramakrishnan, C. R.
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 42 - 57
  • [4] Verification of parameterized timed systems
    Abdulla, PA
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 95 - 97
  • [5] PyLTA: A Verification Tool for Parameterized Distributed Algorithms
    Thomas, Bastien
    Sankur, Ocan
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, 2023, 13994 : 28 - 35
  • [6] 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
  • [7] 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
  • [8] An Automatic Proving Approach to Parameterized Verification
    Li, Yongjian
    Duan, Kaiqiang
    Jansen, David N.
    Pang, Jun
    Zhang, Lijun
    Lv, Yi
    Cai, Shaowei
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (04)
  • [9] Parameterized verification of monotone information systems
    Chane-Yack-Fa, Raphael
    Frappier, Marc
    Mammar, Amel
    Finkel, Alain
    [J]. FORMAL ASPECTS OF COMPUTING, 2018, 30 (3-4) : 463 - 489
  • [10] Compositional analysis for verification of parameterized systems
    Basu, S
    Ramakrishnan, CR
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 315 - 330
12345