Buscas alternativas:
based verification » and verification (Expandir a busca), user verification (Expandir a busca), face verification (Expandir a busca)
based verification » and verification (Expandir a busca), user verification (Expandir a busca), face verification (Expandir a busca)
1
“... on the generation of Software Systems, and thus verification of such tools is encouraged. This PhD thesis...”
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
Tese
2
“... parallel programming is the race condition. This problem occurs because of the simultaneous manipulation...”
Análise automática de acessos concorrentes a dados para refatoração de código sequencial em código paralelo OpenMP
Dissertação
3
4
“... Qt. Estas bibliotecas foram integradas inicialmente ao verificador de software Efficient SMT-Based Bounded Model...”
Verificação de programas multi-tarefas baseado no framework multiplataforma QT
Dissertação