pemesteves / MFES_2021

MFES_2021

Solutions in Dafny and Alloy for the exercises of Formal Methods in Software Engineering - MIEIC, FEUP

Course Information

• All the course's information can be viewed here.

Authors

• Pedro Esteves - pemesteves

Projects

• Verified Compression Algorithm