Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Maria João Frade

Conversão para Why3 de Formalizações em Coq

Autor Bárbara Andreia Cardoso Ferreira

Grau MSc

Ano 2022

Instituição UM

Correct Translation of Imperative Programs to Single Assignment Form

Autor Marta Vasconcelos Castro Azevedo

Grau MSc

Ano 2016

Instituição UM

AuTGen-C: uma plataforma para geração de testes com base no CBMC

Autor Fábio Esteves Sousa

Grau MSc

Instituição UM