KRONOS — Model Checking of Real-time Systems
暂无分享,去创建一个
Philippe Schnoebelen | Laure Petrucci | Alain Finkel | Pierre McKenzie | Michel Bidoit | Béatrice Bérard | Antoine Petit | François Laroussinie
[1] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[2] Stavros Tripakis,et al. Model Checking of Real-Time Reachability Properties Using Abstractions , 1998, TACAS.
[3] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[4] Stavros Tripakis,et al. Verification of the fast reservation protocol with delayed transmission using the tool KRONOS , 1998, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).
[5] Conrado Daws,et al. Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.
[6] Joseph Sifakis,et al. Using Abstractions for the Verification of Linear Hybrid Systems , 1994, CAV.
[7] Thomas A. Henzinger,et al. Temporal Proof Methodologies for Timed Transition Systems , 1994, Inf. Comput..
[8] Amir Pnueli,et al. Some Progress in the Symbolic Verification of Timed Automata , 1997, CAV.