Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos
Autores-
Luís Almeida: https://github.com/luislcc João Pedro Antunes: https://github.com/MrXester