xbreu

formal-methods

Materials from the Formal Methods for Critical Systems course at FEUP.

amigo-dos-museus

Project made for the Algorithms and Data Structures course at FEUP

ContractChecking

drone-deliveries

Project made for the Artificial Intelligence course at FEUP

mobility-meeting-scheduler

Meeting scheduler for groups of people in mobilities at different places. It includes the analysis of flights and lodging prices to return the better date and place for everyone to travel together.

talpa

A simple game where your goal as a mole is to dig a passage between the edges of the board.

automotive-system

Development of a formal model for an adaptive exterior light and speed control system.

ClosestPoints

MPI Program for finding the closest pair of a set of points

constraint-programming

Materials from the Constraint Logic Programming course at FEUP.

dafny

Dafny is a verification-aware programming language

mothership

Project made for the Computer Graphics course at FEUP

xbreu

Readme of my GitHub profile, with some information about myself.