Raccolta di ricerche
#symbolic-execution
Ricerca con tag symbolic-execution: spiegazioni, prove, limiti e collegamenti tra paper.
1 risultati
Racer verifica che le riscritture dei kernel GPU preservino la funzione
Racer verifica simbolicamente le riscritture dei kernel GPU e rileva bug sfuggiti ai test su campioni, entro la copertura dello studio sui kernel di produzione.