• Increase font size
  • Default font size
  • Decrease font size



The DESTECS Tool is now the Crescendo Tool

The DESTECS Tool has been rebranded to The Crescendo Tool, and updated to use the latest Overture and 2-sim versions as its basis. Please go to the Crescendo Tool webpage to download the most recent version of the tool suite, user manuals, and examples.

Download the Crescendo Tool


Click here to see an movie giving you an introduction to the DESTECS tools. 

Tutorial Events

There will be a tutorial on Collaborative Modelling and the Crescendo Tool at the Formal Methods 2014 conference 



Project DESTECS 248134

Challenge 3.4: Embedded System Design