O ESBMC-GPU é um verificador de programas baseado nas teorias do módulo da satisfação (Satisfiability Modulo Theories - SMT) para verificar corrida de dados, bloqueio fatal, segurança de ponteiro, violação dos limites de vetores, estouro aritmético, divisão por zero e afirmações especificadas pelo usuário em programas escritos em Compute Unified Device Architecture (CUDA).
Download
Responsáveis
|
|
|
|
|
|
|
Redes Sociais