Linhas de pesquisa
From Grupo de Metodos Formais
Em nossa pesquisa enfocamos os seguintes aspectos de pesquisa em métodos formais:
- teste formal
- modelagem de sistemas distribuídos
- verificação de software
- uso pratico de métodos formais
- desenvolvimento de ferramentas
