Laboratório de Verificação de Software

O Laboratório faz verificação em software embarcado, os principais são:

  • Integridade de software
  • Proteção contra mudanças intencionais
  • Proteção contra mudanças não intencionais ou acidentais
  • Capacidade de processamento
  • Comportamento dinâmico
  • Arquiteturas baseadas em assinaturas digitais