Model checking timed systems with priorities
暂无分享,去创建一个
[1] Joseph Sifakis,et al. A Methodology for the Construction of Scheduled Systems , 2000, FTRTFT.
[2] Thomas A. Henzinger,et al. Symbolic model checking for real-time systems , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[3] Stephan Merz,et al. Model Checking , 2000 .
[4] Pao-Ann Hsiung,et al. A state graph manipulator tool for real-time system specification and verification , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).
[5] Joseph Sifakis,et al. Scheduler Modeling Based on the Controller Synthesis Paradigm , 2002, Real-Time Systems.
[6] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[7] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[8] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[9] Rance Cleaveland,et al. Priorities in process algebras , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[10] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.
[11] David L. Dill,et al. Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.
[12] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[14] Joseph Kee-Yin Ng,et al. Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05): Foreword , 2005 .
[15] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[16] Jan A. Bergstra,et al. Syntax and defining equations for an interrupt mechanism in process algebra , 1985 .
[17] Nimal Nissanke,et al. Safecharts for specifying and designing safety critical systems , 1999, Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems.
[18] Joseph Sifakis,et al. Priority Systems , 2003, FMCO.
[19] Pao-Ann Hsiung,et al. Efficient and User-Friendly Verification , 2002, IEEE Trans. Computers.
[20] Gavin Lowe,et al. Probabilities and priorities in timed CSP , 1993 .
[21] Rance Cleaveland,et al. Modeling and Verifying Active Structural Control Systems , 1997, Sci. Comput. Program..