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.
Errata
page 41
In section 3.4.12 the last line of the first paragraph should say “flow-out” instead of “effort-out”.
page 78
In line 3 from the bottom “ldots” should be “…”
page 84
page 110
In the first line of section 5.6.1 is should say “We start here by”