1
Assuntos:
“...Verificação de modelos...”
Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
Tese
2
Assuntos:
“...Verificação de software...”
Understanding factors and practices of software security and performance verification
Tese
3
Assuntos:
“...Verificação formal...”
Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Dissertação
4
Assuntos:
“...Verificação formal...”
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Dissertação
5
Assuntos:
“...Verificação de rastro...”
Trace-diagnostic for signal temporal properties : an evolutionary approach
Dissertação
6
Assuntos:
“...Verificação formal...”
Verificação limitada de modelos baseada em SMT para programas CUDA
Dissertação
7
Assuntos:
“...Verificação formal...”
Verificação de projetos de controle de veículos aéreos autônomos
Dissertação
8
Assuntos:
“...Listas de Verificação...”
Validação das estratégias de verificação de usabilidade para smartphones com foco no usuário idoso
Dissertação
9
Assuntos:
“...Assinatura - verificação...”
Verificação de texto manuscrito em dispositivos móveis
Dissertação
10
Assuntos:
“...Verificação de programa (computadores)...”
Um estudo comparativo entre o teste de mutação e o MC/DC no desenvolvimento de software aeronáutico, utilizando-se o paradigma "Model Based Design"
Dissertação
11
Assuntos:
“...Verificação formal...”
Modelagem e verificação formal do software embarcado de um simulador de satélite
Dissertação
12
Assuntos:
“...Verificação de programa (computadores)...”
Model checking aplicado a software embarcado crítico do satélite universitário ITASAT
Dissertação
13
Assuntos:
“...Verificação formal...”
Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado
Tese
14
Assuntos:
“...CAD para verificação...”
Ferramenta CAD para extração de modelo de cobertura de saída por itens em verificação funcional.
Dissertação
15
Assuntos:
“...Verificação de modelo...”
Análise de um processo de projeto industrial de mineração com foco na validação para compatibilização dos modelos BIM (Building Information Modeling)
Dissertação
16
Assuntos:
“...Verificação de equivalência...”
Contribuições para o problema de verificação de equivalência combinacional
Tese
17
Assuntos:
“...Circuitos integrados Verificação...”
Verificação de equivalência de circuitos com aceleração por largura e aprendizado de cláusulas de conflito
Dissertação
18
Assuntos:
“...Verificação formal...”
Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes
Dissertação
19
Assuntos:
“...Verificação de regras...”
Verificação automatizada de regras em projetos de arquitetura de terminais de passageiros aeroportuários com base em BIM
Dissertação
20
Assuntos:
“...Verificacao de Assinaturas...”
Composição de biometria para sistemas multimodais de verificação de identidade pessoal
Tese