Real-Time Maude is a rewriting-logic-based tool supporting the formal specification and analysis of real-time systems. Our tool emphasizes expressiveness and ease of specification over algorithmic decidability of key properties, and provides a spectrum of analysis methods, including symbolic simulation, and unbounded and time-bounded reachability analysis and LTL model checking. Real-Time Maude has proved well suited to analyze both correctness and performance of large and complex real-time systems, including state-of-the-art schedulers, network protocols, and wireless sensor network algorithms. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ölveczky, P. C., & Meseguer, J. (2008). The Real-Time Maude tool. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4963 LNCS, pp. 332–336). https://doi.org/10.1007/978-3-540-78800-3_23
Mendeley helps you to discover research relevant for your work.