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
相关论文
共 15 条
[1]  
APT K, 1986, INFORMATION PROCESSI, V15, P307
[2]  
BODEVEIX JP, 2000, INT WORKSH DISTR SYS
[3]  
CALDER M, 2002, P 2 WORKSH AUT VER C, P29
[4]  
CLARKE E, 1995, 6 INT C CONC THEOR
[5]  
Clarke EM, 1999, MODEL CHECKING, P1
[6]  
Drechsler Rolf, 1998, BINARY DECISION DIAG, DOI [10.1007/978-1-4757-2892-7, DOI 10.1007/978-1-4757-2892-7]
[7]  
Emerson EA, 2000, LECT NOTES ARTIF INT, V1831, P236
[8]  
EMERSON EA, 1995, POPL, P85
[9]  
Hardin RH, 1997, LECT NOTES COMPUT SC, V1254, P268
[10]  
JONSSON B, 2000, LECT NOTES COMPUT SC
12