Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Publications

This page seeks to list relevant publications that relates to Overture and the VDM languages. Information about books and traning material can also be found on the following pages:

Publication list:

Type-setting VDM Specifications