1
Assuntos:
“...Software Verification...”
Rabbit: A novel approach to find data-races during state-space exploration
Dissertação
2
Assuntos:
“...Software verification...”
Modern code review : from foundational studies to proposed approaches and their evaluation
Dissertação
3
Assuntos:
“...Software - Verification...”
Proposta de metodologia para verificação e validação software de equipamentos eletromédicos
Dissertação
4
Assuntos:
“...Software Verification...”
Formal verification to ensuring the memory safety of C++ Programs
Dissertação
5
Assuntos:
“...Software Verification...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
6
Assuntos:
“...Software verification...”
Proposta de metodologia para utilização em hardware reconfigurável para aplicações aeroespaciais
Dissertação
7
Assuntos:
“...Software verification...”
LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projects
Dissertação
8
Assuntos:
“...Computer software - Verification...”
Técnicas e procedimentos para verificação e validação de código numérico de análise de rotores
Dissertação