Grupos de Pesquisa
Grupos de Pesquisa em Métodos Formais:
Engenharia de Software (USP)
Engenharia de Software (UERN)
Engenharia de Software (UFS)
Grupo de Fundamentos da Computação e Métodos Formais (UFRGS)
Software Reliability Group (UFPE)
Verificação Automática (UFMG)
Teoria da Computação (UNB)
TecMF (PUC/RJ)