Crescendo Tool Support: User Manual

The Crescendo tool (www.crescendotool.org) is a gradual increase of the Overture tool in the sense that it has all the support present inside Overture and in addition it supports collaborative modelling and simulation with a combination of the DE notation VDM-RT and the Continuous

  Manual, User, Tool, Support, User manual, Crescendo tool support, Crescendo