Buscas alternativas:
verification algorithm » elimination algorithm (Expandir a busca), identification algorithms (Expandir a busca), classification algorithm (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
checking program » check program (Expandir a busca), tracking programs (Expandir a busca), screening program (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
verification algorithm » elimination algorithm (Expandir a busca), identification algorithms (Expandir a busca), classification algorithm (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
checking program » check program (Expandir a busca), tracking programs (Expandir a busca), screening program (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
1
“...0 objetivo neste trabalho é apresentar um método para a verificação de programas a partir...”
Verificação automática de programas a partir da monitoração de múltiplas execuções de código.
Dissertação
2
“...0 objetivo neste trabalho é apresentar um método para a verificação de programas a partir...”
Verificação automática de programas a partir da monitoração de múltiplas execuções de código.
Dissertação