Filling In The Gaps : Efficient Techniques for Real Time Verification
暂无分享,去创建一个
[1] T. Abe. [FROM QUANTITY TO QUALITY]. , 1964, The Journal of nutrition.
[2] Thomas A. Henzinger,et al. What Good Are Digital Clocks? , 1992, ICALP.
[3] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[4] P. Varaiya,et al. Discretization of timed automata , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[5] K. Larsen,et al. Model-Checking for Real-Time Systems , 1995, International Symposium on Fundamentals of Computation Theory.
[6] Amir Pnueli,et al. Timing analysis of asynchronous circuits using timed automata , 1995, CHARME.
[7] Amir Pnueli,et al. On Discretization of Delays in Timed Automata and Digital Circuits , 1998, CONCUR.
[8] E. Clarke,et al. Symbolic model checking using SAT procedures instead of BDDs , 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
[9] Stavros Tripakis,et al. Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics , 1999, CHARME.
[10] Rajeev Alur,et al. Timed Automata , 1999, CAV.
[11] Stephan Merz,et al. Model Checking , 2000 .
[12] Harald Ruess,et al. Predicate Abstraction for Dense Real-Time Systems , 2001 .
[13] Stavros Tripakis,et al. Analysis of Timed Systems Using Time-Abstracting Bisimulations , 2001, Formal Methods Syst. Des..
[14] Joël Ouaknine,et al. Revisiting digitization, robustness, and decidability for timed automata , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[15] Dirk Beyer,et al. Rabbit: A Tool for BDD-Based Verification of Real-Time Systems , 2003, CAV.
[16] Maria Sorea,et al. Verification of real-time systems through lazy approximations , 2004 .
[17] Leslie Lamport,et al. Real Time is Really Simple , 2005 .
[18] Leslie Lamport,et al. Real-Time Model Checking Is Really Simple , 2005, CHARME.