Compositional Verification and Specification of Refinement for Reactive Systems in a Dense Time Temporal Logic

被引：0

|

作者：

Cau, A.

机构：

来源：

Bulletin of the European Association for Theoretical Computer Science | 1996年 / 60期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Specification and verification of reactive systems with temporal logic
Fawzi, MG
CARI'96 - PROCEEDINGS OF THE 3RD AFRICAN CONFERENCE ON RESEARCH IN COMPUTER SCIENCE, 1996, : 884 - 894
[2] THE APPLICATION OF TEMPORAL LOGIC FOR THE SPECIFICATION AND VERIFICATION OF REACTIVE SYSTEMS
PNUELI, A
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 301 - 302
[3] APPLICATIONS OF TEMPORAL LOGIC TO THE SPECIFICATION AND VERIFICATION OF REACTIVE SYSTEMS - A SURVEY OF CURRENT TRENDS
PNUELI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 510 - 584
[4] ON USING TMEPORAL LOGIC FOR REFINEMENT AND COMPOSITIONAL VERIFICATION OF CONCURRENT SYSTEMS
MOKKEMDEM, A
MERY, D
THEORETICAL COMPUTER SCIENCE, 1995, 140 (01) : 95 - 138
[5] Compositional verification in linear-time temporal logic
Tsay, YK
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 344 - 358
[6] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
HOOMAN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
[7] A spatio-temporal logic for the specification and refinement of mobile systems
Merz, S
Wirsing, M
Zappe, J
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 87 - 101
[8] SYSTEM SPECIFICATION AND REFINEMENT IN TEMPORAL LOGIC
PNUELI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 652 : 1 - 38
[9] Verification of reactive systems using temporal logic with clocks
Information Technology Division, Def. Sci. and Technol. Organisation, PO Box 1500, Salisbury, SA 5108, Australia
Theor Comput Sci, 2 (377-408):
[10] Verification of reactive systems using temporal logic with clocks
Liu, CC
Orgun, MA
THEORETICAL COMPUTER SCIENCE, 1999, 220 (02) : 377 - 408

← 1 2 3 4 5 →