it is a project in VDM VS CODE

you have to write a report as well on the code report is 2500 words it is a modelling and reasoning project , the main part is the report , you have to write the code and then a report on the code and coding has to be done in vdm vs code