论文信息 - The Tool KRONOS - 字舞流文

The Tool KRONOS

Both approaches presented in this paper considerably improve Kronos performance and functionalities.

Stavros Tripakis | Conrado Daws | Sergio Yovine | Alfredo Olivero | S. Yovine | S. Tripakis | C. Daws | A. Olivero

[1] Alfredo Olivero. Modélisation et analyse de systèmes temporisés et hybrides , 1994 .

[2] Martín Abadi,et al. An old-fashioned recipe for real time , 1994, TOPL.

[3] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[4] Nicolas Halbwachs,et al. Minimal State Graph Generation , 1992, Science of Computer Programming.

[5] AbadiMartín,et al. An old-fashioned recipe for real time , 1994 .

[6] Stavros Tripakis,et al. Analysis of Timed Systems Based on Time-Abstracting Bisimulation , 1996, CAV.

[7] Grzegorz Rozenberg,et al. Real-Time: Theory in Practice , 1991, Lecture Notes in Computer Science.

[8] Raj Jain. FDDI Handbook: High-Speed Networking Using Fiber and Other Media , 1994 .

[9] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[10] Wang Yi,et al. Compositional and Symbolic Model-Checking of Real-Time Systems , 1996 .

[11] Laurent Mounier,et al. A Tool Set for deciding Behavioral Equivalences , 1991, CONCUR.

[12] Conrado Daws,et al. Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.

[13] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..

[14] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.