afonsojramos / feup-mfes

Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods

feup-mfes

Formal modelling of Github in VDM++ using the Overture Tool for Software Engineering Formal Methods.

Report

Report

Coverage

UML

Project UML

Tests UML