Overture Tool
Formal Modelling in VDM
 |
The Book on Collaborative Development of Cyber-Physical Systems
The Crescendo technology can be found at the Crescendo technology home page. This also include slide material from a one day tutorial delivered at the Formal Methods 2014 symposium. The actual book can be fetched from Springers web site.