RESEARCH ON AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS

被引：27

作者：

CLARKE, EM

GRUMBERG, O

机构：

来源：

ANNUAL REVIEW OF COMPUTER SCIENCE | 1987年 / 2卷

关键词：

D O I：

10.1146/annurev.cs.02.060187.001413

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：269 / 290

页数：22

共 39 条

[1] LIMITS FOR AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS [J].

APT, KR ;

KOZEN, DC .

INFORMATION PROCESSING LETTERS, 1986, 22 (06) :307-309

[2] A NOTE ON RELIABLE FULL-DUPLEX TRANSMISSION OVER HALF-DUPLEX LINLS [J].

BARTLETT, KA ;

SCANTLEBURY, RA ;

WILKINSON, PT ;

LYNCH, WC .

COMMUNICATIONS OF THE ACM, 1969, 12 (05) :260-+

[3] THE TEMPORAL LOGIC OF BRANCHING TIME [J].

BENARI, M ;

PNUELI, A ;

MANNA, Z .

ACTA INFORMATICA, 1983, 20 (03) :207-226

[4]

BOCHMANN GV, 1982, IEEE T COMPUT, V31, P223, DOI 10.1109/TC.1982.1675978

[5]

BROWNE M, 1986, IFIP WG 10 2 INT WOR, P269

[6]

Browne M. C., 1986, Formal Aspects of VLSI Design. Proceedings of the 1985 Edinburgh Workshop on VLSI, P113

[7]

Browne M. C., 1986, Proceedings of the Symposium on Logic in Computer Science (Cat. No.86CH2321-8), P260

[8]

BROWNE MC, 1986, IEEE T COMPUT, V35, P1035, DOI 10.1109/TC.1986.1676711

[9]

BROWNE MC, 1985, 1985 P INT C COMP DE, P545

[10]

Clarke E. M., 1981, P IBM WORKSH LOG PRO, P52

← 1 2 3 4 →