The Crescendo Tool

Formal design and modelling using Co-Simulation

Go to our GitHub Profile

Crescendo Workshop in Japan

Tutorial at the NPO TopSE centre

The NPO TopSE centre in Japan sponsored a tutorial on the Crescendo tool in October 2014. Details and material (in Japanese) can be found on Fuyuki Ishikawa’s seminar page for the event. Videos from this event are available following these links (please note that it is divided in three parts):