Model-Checking Timed
暂无分享,去创建一个
[1] A. Pnueli,et al. CONTROLLER SYNTHESIS FOR TIMED AUTOMATA , 2006 .
[2] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[3] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[4] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[5] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[6] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[7] Thomas A. Henzinger,et al. Modularity for Timed and Hybrid Systems , 1997, CONCUR.
[8] Thomas A. Henzinger,et al. The Element of Surprise in Timed Games , 2003, CONCUR.
[9] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[10] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[11] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[12] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[13] Cnrs Fre,et al. Model Checking a Path (Preliminary Report) , 2003 .
[14] Yassine Lakhnech,et al. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems , 2004, Lecture Notes in Computer Science.
[15] E. Clarke,et al. Real-time symbolic model checking for discrete time models , 1994 .
[16] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[17] C. Rattray,et al. Specification and Verification of Concurrent Systems , 1990, Workshops in Computing.
[18] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[19] Nicolas Markey,et al. On the Expressiveness and Complexity of ATL , 2007, FoSSaCS.
[20] Vincent Danos,et al. Transactions in RCCS , 2005, CONCUR.
[21] Antoni Mazurkiewicz,et al. CONCUR '97: Concurrency Theory , 1997, Lecture Notes in Computer Science.
[22] A. Prasad Sistla,et al. Quantitative temporal reasoning , 1990, Real-Time Systems.
[23] Philippe Schnoebelen,et al. Symbolic Model Checking for Simply-Timed Systems , 2004, FORMATS/FTRTFT.
[24] Philippe Schnoebelen,et al. Systems and Software Verification , 2001, Springer Berlin Heidelberg.
[25] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[26] Stephan Merz,et al. Model Checking , 2000 .
[27] Ugo Montanari,et al. International Symposium on Programming , 1982, Lecture Notes in Computer Science.
[28] Philippe Schnoebelen,et al. Efficient timed model checking for discrete-time systems , 2006, Theor. Comput. Sci..
[29] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[30] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[31] Charles Rattray,et al. Theories and Experiences for Real-Time System Development , 1995 .