1
2
Assuntos:
“...Métodos formais (Computação)...”
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Dissertação
3
Assuntos:
“...Métodos formais (Computação) -...”
Um arcabouço para verificação automática de modelos UML
Tese
4
Assuntos:
“...Métodos formais (Computação) -...”
Inferência de identidade genética em larga escala : uma abordagem baseada em verificação simbólica de modelos
Tese
5
Assuntos:
“...Métodos formais (Computação)...”
Melhorando a segurança de programas numéricos
Dissertação
6
7
Assuntos:
“...Métodos formais (Computação)...”
Criação de uma biblioteca padrão para a linguagem HasCASL
Dissertação
8
Assuntos:
“...Métodos formais (Computação)...”
Mineração de sequências de chamadas a APIs dirigida por testes unitários
Tese
9
Assuntos:
“...Métodos formais (Computação) -...”
Verificação de código SQL via verificação de modelos
Tese
10
Assuntos:
“...Métodos formais (Computação)...”
Teste de conformidade em contexto guiado por casos de teste do componente
Dissertação
11
Assuntos:
“...Métodos formais (Computação)...”
Métodos formais algébricos para geração de invariantes
Tese
12
Assuntos:
“...Métodos formais (Computação)...”
Geração automática de casos de testes para máquinas de estados finitos
Dissertação
13
Assuntos:
“...Métodos formais (Computação)...”
Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitas
Dissertação