The Tool KRONOS
暂无分享,去创建一个
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.