The tool kronos

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

Volumn 1066, Issue , 1996, Pages 208-219

  Daws, C ^a   Olivero, A ^a   Tripakis, S ^a   Yovine, S ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 40149092144     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020947     Document Type: Conference Paper

References (15)

1. M. Abadi and L. Lamport. An old-fashioned recipe for real-time. In Proc. REX Workshop "Real-Time: Theory in Practice". LNCS 600, Springer-Verlag.
2. A. Alur. C. Courcoubetis. D. Dill. N. Halbwachs, and H. Wong-Toi. An implementation of three algorithms for timing verification based on automata emptiness. In Proc. 13th IEEE RTSS. IEEE Computer Society Press, 1992.
3. R. Alur. C. Courcoubetis. and D.L. Dill. Model checking in dense real time. Information and Computation. 104(1):2-34. 1993.
4. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
5. A. Bouajjani, J.C. Fernandez. N. Halbwachs. P. Raymond, and C. Ratel. Minimal state graph generation. Science of Computer Programming, 18:247-269, 1992.
6. C. Daws. A. Olivero. and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE’94, pages 227-242. Bern, Switzerland, October 1994.
7. C. Daws and S. Yovine. Symbolic forward analysis of timed automata. Tech. Report Spectre 95-16. Verimag, Grenoble. November 1995.
8. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with KRONOS. In Proc. 1995 IEEE RTSS’95, Pisa, Italy, December 1995. IEEE Computer Society Press.
9. J. CI. Fernandez and L. Mounier. A tool set for deciding behavioural equivalences. In CONCUR 91, Concurrency theory. LNCS 527, Springer Verlag, August 1991.
10. H. Garavel, R. Mateescu. R. Ruffiot, and L.-P. Tock. Binary coded graphs - reference manuals of the beg tools. Tech. Report Spectre 95-13, Verimag, Grenoble. October 1995.
11. T.A. Henzinger. X. Nicollin. J. Sifakis. and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, 1994.
12. R. Jain. FDDI handbook: high-speed networking using fiber and other media. Addison-Wesley. 1994.
13. K. G. Larsen, P. Petterson. and Y. Wang. Compositional and symbolic modelchecking of real-time systems. In Proc. 1995 IEEE RTSS’95, Pisa, Italy. December 1995. IEEE Computer Society Press.
14. A. Olivero. Modélisation et analyse de systèmes temporisés et hybrides. Thèse. Institut National Polytechnique de Grenoble, Grenoble, France, September 1994.
15. S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. Tech. Report Spectre 95-15. Verimag, Grenoble, November 1995.