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
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.