Formal modelling and verification final report

Summary
Final report, formal modelling, verification