Extending promela and spin for real time

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

Volumn 1055, Issue , 1996, Pages 329-348

  Tripakis, Stavros ^a,b   Courcoubetis, Costas ^a,b  

^a UNIVERSITY OF CRETE   (Greece)

^b INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES;

PROMELA; REAL TIME; TIME INFORMATION; VERIFICATION TOOLS;

SEMANTICS;

EID: 84958763484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61042-1_53     Document Type: Conference Paper

References (18)

1. R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, 1991.
2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414-425, Philadelphia, June 1990.
3. R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An implementation of three algorithms for timing verification based on automata emptiness. In RTSS 1992, proceedings, 1992.
4. R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In CONCUR 1995, proceedings. Lecture Notes in Computer Science, Springer-Verlag, 1992.
5. C. Courcoubetis, D. Dill, M. Chatzaki, and P. Tzounakis. Verification with real-time COSPAN. In Proceedings of the Fourth Workshop on Computer-Aided Verification, Lecture Notes in Computer Science. Springer-Verlag, 1992.
6. D. Dill. Timing assumptions and verification of finite-state concurrent systems. In Proc. Workshop on Computer Aided Verification, CA V89, Grenoble, June 1989. Lecture Notes in Computer Science, Springer- Verlag.
7. Dolev, Klawe, and Rodeh. An O(n log n) unidirectional distributed algorithm for extrema finding in a circle. J. of Algs, 3:245-260, 1982.
8. G. J. Holzmann. Design and Validation of Protocols. Prentice-Hall, 1990.
9. G.J. Holzmann. Basic spin manual. Technical report, AT& T, Bell Laboratories, 1994.
10. G.J. Holzmann. What's new in spin. Technical report, AT& T, Bell Laboratories, 1995.
11. G.J. Holzmann and Doron A. Peled. An improvement in formal verification. In Proceedings of the 7th International Conference on Formal Description Techniques, FORTEg 94, Berne, Switcherland, october 1994.
12. M. Katevenis, S. Sidiropoulos, and C. Courcoubetis. Weighted roundrobin cell multiplexing in a general purpose ATM switch chip. IEEE JSAC, 9(8):1265-1279, 1991.
13. J. Katzenelson and B. Kurshan. S/r: A language for specifying protocols and other coordinating processes. In Proe. 5th Ann. Int'l Phoenix Conf. Comput. Commun., IEEE, 1986.
14. N. Lambrogeorgos. Verification of real-time systems: a case study of discrete and dense time models, 1993. Available only in greek.
15. L. Lamport. A fast mutual exclusion algorithm. ACM Transactions on Computer Systems, 5(1):1-11, 1987.
16. Doron A. Peled. Combining partial order reductions with on-the-fly model checking. In Proceedings of the 6th International Conference on Comptuter Aided Verification, CA V94, Stanford, California, June 1994.
17. S. Sidiropoulos. A general purpose ATM switch, architecture and feasibility study, 1991.
18. P. Tzounakis. Verification of real time systems: The extension of COSPAN in dense time, 1992.