Formal methods: State of the art and future directions

被引：484

作者：

Clarke, EM

Wing, JM

机构：

[1] Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

来源：

关键词：

D O I：

10.1145/242223.242257

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：626 / 643

页数：18

共 126 条

[1] Automatic symbolic verification of embedded systems [J].

Alur, R ;

Henzinger, TA ;

Ho, PH .

[2]

[Anonymous], VLSI SPECIFICATION V

[3]

[Anonymous], P 10 ACM SIGACT SIGP

[4]

Appenzeller DP, 1995, INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, P79

[5]

ARCHINOFF G, 1990, INT C CONTR INSTR NU

[6]

ARNOLD A, 1996, SCI COMPUT PROGRAM

[7] FORMAL METHODS APPLIED TO A FLOATING-POINT NUMBER SYSTEM [J].

BARRETT, G .

[8] MODEL CHECKING IN PRACTICE - THE T9000 VIRTUAL CHANNEL PROCESSOR [J].

BARRETT, G .

[9]

BEAR S, 1991, LECT NOTES COMPUTER, V551

[10]

BENGTSSON J, 1996, LECT NOTES COMPUTER, V1102, P244