Compositional and symbolic model-checking of real-time systems
暂无分享,去创建一个
[1] Rajeev Alur,et al. Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[2] Edmund M. Clarke,et al. Model checking and abstraction , 1994, TOPL.
[3] Wang Yi,et al. Diagnostic Model-Checking for Real-Time Systems , 1995, Hybrid Systems.
[4] Wang Yi,et al. Compositional and Symbolic Model-Checking of Real-Time Systems , 1996 .
[5] Nicolas Halbwachs,et al. Delay Analysis in Synchronous Programs , 1993, CAV.
[6] Kim G. Larsen,et al. Timed Modal Specification - Theory and Tools , 1993, CAV.
[7] Henrik Reif Andersen,et al. Partial model checking , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[8] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[9] Kim Guldstrand Larsen,et al. Compositional Model Checking of Real Time Systems , 1995, CONCUR.
[10] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[11] E. Clarke,et al. Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .
[12] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[14] Antti Valmari,et al. A stubborn attack on state explosion , 1990, Formal Methods Syst. Des..
[15] Kim G. Larsen,et al. The Use of Static Constructs in A Modal Process Logic , 1989, Logic at Botik.
[16] R. Alur,et al. Modelchecking for real-time systems , 1990 .
[17] Martín Abadi,et al. An old-fashioned recipe for real time , 1994, TOPL.
[18] Pierre Wolper,et al. A partial approach to model checking , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[19] Conrado Daws,et al. Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.
[20] Scott A. Smolka,et al. Local Model Checking for Real-Time Systems (Extended Abstract) , 1995, CAV.
[21] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[22] Satoshi Yamane,et al. The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[23] Igor Walukiewicz,et al. Pushdown Processes: Games and Model-Checking , 1996, Inf. Comput..
[24] A. Prasad Sistla,et al. Symmetry and model checking , 1993, Formal Methods Syst. Des..
[25] Pierre Lescanne,et al. Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution , 1996, PLILP.
[26] Kim G. Larsen,et al. From Timed Automata to Logic - and Back , 1995, MFCS.
[27] Pierre Wolper,et al. A Partial Approach to Model Checking , 1994, Inf. Comput..
[28] Somesh Jha,et al. Exploiting symmetry in temporal logic model checking , 1993, Formal Methods Syst. Des..
[29] Natarajan Shankar,et al. Verification of Real-Time Systems Using PVS , 1993, CAV.
[30] Wang Yi,et al. A Compositional Proof of a Real-Time Mutual Exclusion Protocol , 1996, TAPSOFT.