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.
Videos
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