RHYTM: High-Level Formal Modeling and Analysis of Real-Time and Hybrid Systems (completed)


RHYTHM is research project funded by the Research Council of Norway through the FRITEK programme


Further information

For results, outcome, and further information, see the project homepage

In a nutshell

The main goal of this project is to extend the Real-Time Maude formal modeling language and analysis tool, as well as to further increase its visibility. In particular, we aim at developing and implementing new and useful analysis techniques which can be successfully applied to a variety of advanced modern real-time and hybrid systems.


Published Mar. 14, 2011 11:13 AM - Last modified Feb. 7, 2020 3:57 PM


Detailed list of participants