Efficient verification of parallel real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 697 LNCS, Issue , 1993, Pages 321-332

  Yoneda, Tomohiro ^a   Shibayama, Atsufumi ^a   Schlingloff, Bernd Holger ^b   Clarke, Edmund M ^c  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER CIRCUITS; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; PETRI NETS; TEMPORAL LOGIC;

CONCRETE MODEL; INTERLEAVINGS; LINEAR TIME TEMPORAL LOGIC; MODEL CHECKING ALGORITHM; TIME PETRI NETS; TIMED TEMPORAL LOGIC;

REAL TIME SYSTEMS;

EID: 84957699348     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56922-7_27     Document Type: Conference Paper

References (12)

1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. Proc. 5th IEEE LICS, 1990.
2. R. Alur, T. Henzinger. A really temporal logic. Proc. 30th FOCS, 1989.
3. B. Berthomieu, M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Soft. Eng., 17(3):259-273, 1991.
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems, 8(2):244-263, 1986.
5. P. Godefroid. Using partial orders to improve automatic verification methods. Proc. 1st CAV, 1990.
6. F. Jahanian and A. K. Mok. A graph-theoretic approach for timing analysis and its implementation. IEEE Trans. Comput., C-36(8):961-975, 1987.
7. S. Katz and D. Peled. Defining conditional independence using collapses. Semantics for concurrency, BCS-FACS Workshop, Springer, 1990.
8. O. Lichtenstein and A. Pnueli. Checking that finite state concurrent programs satisfy their linear specification. Proc. 12th POPL, 1985.
9. P. Merlin and D. J. Faber. Recoverability of communication protocols. IEEE Trans. on Communication, COM-24(9), 1976.
10. J-L. Roux and B. Berthomieu. Verification of a local area network protocol with Tina, a software package for time Petri nets. 7th European Workshop on Application and Theory of Petri Nets, pages 183-205, 1986.
11. A. Valmari. A stubborn attack on state explosion. Proc. 1st CAV, 1990.
12. T. Yoneda, Y. Tohma, Y. Kondo. Acceleration of timing verification method based on time Petri nets. Syst. and Computers in Japan, 22(12):37-52, 1991.