Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, emphasizes generality and ease of specification, and is particularly suitable to specify objectoriented real-time systems. The tool offers a wide range of analysis techniques, including timed rewriting for simulation purposes, search, and time-bounded linear temporal logic model checking. It has been used to model and analyze sophisticated communication protocols and scheduling algorithms. Real-Time Maude is an extension of Maude and a major redesign of an earlier prototype. © Springer-Verlag 2004.
CITATION STYLE
Ölveczky, P. C., & Meseguer, J. (2004). Specification and Analysis of Real-Time Systems Using Real-Time Maude. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2984, 354–358. https://doi.org/10.1007/978-3-540-24721-0_26
Mendeley helps you to discover research relevant for your work.