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.
teixdavide/FEUP_MFS_Dafny
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|