The purpose is to create a module of a social network, LinkedIn, where users can, among other things, determine the distance between users in the network or between two people, upload CVs, search for users, calculate contacts commoun to two users and finally determine the person with most contacts.
With this project we aimed to develop, test and document an executable formal model of a high integrity software system in VDM++ using the Overture tool or the VDMTools.
- Overture
- Modelio
To better understand our project read our report.