This repository is for the coursework 2 of Formal methods and programming course.