This repository uses Formal Methods to model em validate 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_Alloy
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|