Specification and Analysis of Real-Time Systems Using Real-Time Maude
暂无分享,去创建一个
[1] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[2] José Meseguer,et al. The Maude LTL Model Checker , 2004, WRLA.
[3] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[4] Lui Sha,et al. Automated Veri.cation of the Dependability of Object-Oriented Real-Time Systems , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.
[5] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.
[6] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[7] Peter Csaba Ölveczky,et al. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude , 2006, Formal Methods Syst. Des..
[8] ÖlveczkyPeter Csaba,et al. Specification of real-time and hybrid systems in rewriting logic , 2001 .
[9] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..
[10] Peter Csaba Ölveczky,et al. Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems , 2000, WRLA.
[11] Peter Csaba Ölveczky,et al. Real-Time Maude 2.1 , 2004, WRLA.