VDM-Modelling This was an Undergraduate project where I worked with VDM-SL in Overture to complete a software modelling task.