Towards automatic temporal logic verification of value passing process algebra using abstract interpretation

被引：0

作者：

机构：

来源：

Lect Notes Comput Sci | / 563期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Automatic verification based on abstract interpretation
Ogawa, M
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 131 - 146
[2] AUTOMATIC VERIFICATION OF ASYNCHRONOUS CIRCUITS USING TEMPORAL LOGIC
DILL, DL
CLARKE, EM
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 276 - 282
[3] Abstract interpretation based verification of logic programs
Comini, M
Gori, R
Levi, G
Volpe, P
SCIENCE OF COMPUTER PROGRAMMING, 2003, 49 (1-3) : 89 - 123
[4] Automatic verification by abstract interpretation - (Invited tutorial)
Cousot, P
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 20 - 24
[5] Verification of asynchronous logic circuit design using process algebra
Tokyo Inst of Technology, Tokyo, Japan
Systems and Computers in Japan, 1997, 28 (08): : 33 - 43
[6] AUTOMATIC VERIFICATION OF SEQUENTIAL-CIRCUITS USING TEMPORAL LOGIC
BROWNE, MC
CLARKE, EM
DILL, DL
MISHRA, B
IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (12) : 1035 - 1044
[7] AUTOMATIC VERIFICATION OF SEQUENTIAL CIRCUITS USING TEMPORAL LOGIC.
Browne, Michael C.
Clarke, Edmund M.
Dill, David L.
Mishra, Bud
1600, (C-35):
[8] TOWARDS A FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
NILSSON, U
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 68 - 82
[9] Verification of an active control system using temporal process algebra
Elseaidy, WM
Baugh, JW
Cleaveland, R
ENGINEERING WITH COMPUTERS, 1996, 12 (01) : 46 - 61
[10] Abstract interpretation based verification of temporal properties for BioAmbients
Gori, Roberta
Levi, Francesca
INFORMATION AND COMPUTATION, 2010, 208 (08) : 869 - 921

← 1 2 3 4 5 →