The Crescendo Tool

Formal design and modelling using Co-Simulation

Go to our GitHub Profile

Recent Events

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

Tutorial at FM'14

We held a tutorial on Collaborative Modelling and the Crescendo Tool at the Formal Methods 2014 conference.

Slides from the event are now available here as PDFs: Introduction, Co-modelling and Co-simulation, Real-time Control and 20-sim (and related files), VDM-RT for Co-simulation (and related files), Industrial Applications and Cyber-physical Systems.