Home

Overture IDE

 The Overture IDE is integrated development environment for VDM and supports the dialects:

  • VDM-SL: VDM Specification Language
  • VDM-PP: VDM Object oriented.
  • VDM-RT: VDM Real-Time