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