RESEARCH ON AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS

被引：27

作者：

CLARKE, EM

GRUMBERG, O

机构：

来源：

关键词：

D O I：

10.1146/annurev.cs.02.060187.001413

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：269 / 290

页数：22

共 39 条

[21]

Hughes G. E, 1977, INTRO MODAL LOGIC

[22]

KURSHAN RP, 1985, P S APPL MATH, V3, P45

[23]

KURSHAN RP, 1986, 112186101033TM BELL

[24]

LAMPORT L, 1980, 7TH ANN ACM S PRINC, P174

[25]

LEHMANN D, 1981, LNCS, V115, P264, DOI DOI 10.1007/3-540-10843-2_22

[26]

Malachi Y., 1981, VLSI Systems and Computations. CMU Conference on VLSI Systems and Computations, P203

[27]

Martin A. J., 1985, 1985 Chapel Hill Conference on Very Large Scale Integration, P245

[28]

MILNER R, 1979, SPRINGER LECT NOTES, V92

MISHRA, B ;

CLARKE, E .

[30] PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS [J].

OWICKI, S ;

LAMPORT, L .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03) :455-495