- Novas técnicas para solucionadores SMT
- Demonstrações auditáveis para compliance
- Verificação formal de smart contracts
- Síntese de programas
Projetos em colaboração com universidades americanas (Stanford, Iowa) e européias (Inria, Liège).
Mais informações com Haniel Barbosa – hbarbosa@dcc.ufmg.br