1
Assuntos:
“...Verificação de software...”
Understanding factors and practices of software security and performance verification
Tese
2
Assuntos:
“...Verificação de Software...”
Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes
Dissertação
3
Assuntos:
“...Verificação de Software...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
4
Assuntos:
“...Verificação de software...”
Proposta de metodologia para utilização em hardware reconfigurável para aplicações aeroespaciais
Dissertação
5
Assuntos:
“...Verificação de software...”
LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projects
Dissertação