Overture Tool je integrované prostředí (IDE) pro vývoj a analýzu VDM (The Vienna Development Method) modelů. VDM je modelově orientovaná formální metoda pro vývoj výpočetních systémů a softwaru. Skládá se ze skupiny matematických jazyků a nástrojů pro vyjádření a analýzu systémových modelů v prvotních fázích návrhu.
Pro VDM existuje několik dialektů, přičemž Overture Tool podporuje tři z nich - SL (standardní ISO/VDM-SK s modulárním rozšířením), PP (zaměřený na objektově orientované formální specifikace) a RT (používán k modelování a analýze vestavěných systémů).
Pro hodnocení programu se prosím nejprve přihlaste