2020/2021 - 4rd Year, 1st Semester
Course: Métodos Formais em Engenharia de Software (MFES) | Formal Methods in Software Engineering
Projects developed by: Eduardo Ribeiro (EduRibeiro00).
Project: Statically Verified Tree Set Implementation
- Developed a statically verified implementation of a Tree Set (Sorted Set), using a Binary Search Tree.
- Implemented operations for insertion, deletion, checking if an element is in the set, returning a sorted sequence of all the elements, and more.
- Languages/technologies used: Dafny.
Grade: 17.3 / 20
Disclaimer - This repository was used for educational purposes and I do not take any responsibility for anything related to its content. You are free to use any code or algorithm you find, but do so at your own risk.