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

Offical

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

Participants

  • Peter Csaba Ølveczky Universitetet i Oslo
  • Olaf Owe Universitetet i Oslo
  • Gerardo Schneider Universitetet i Oslo
  • Daniela Lepri Universitetet i Oslo
  • Muhammad Fadlisyah Universitetet i Oslo
  • Jose Meseguer
  • Narciso Marti-Oliet,
Detailed list of participants