Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

The 1st Pre-Overture Workshop

VDM Workshop 1: VDM in Practice!

This workshop was held on the 21st and 22nd of September 1999.

Day 1: Methods, Training and Tools

Day 2: VDM at Work - industrial applications

Workshop Chairs