README.md

E-mail Model Verification

This repository uses Formal Methods to implement em verify an e-mail application.

The development of this program is part of the curriculum for the Formal Methods for Critical Systems course.