Verifying CUDA programs using SMT-based context-bounded model checking.

Phillipe A. Pereira Higo F. Albuquerque Hendrio Marques Isabela da Silva Celso B. Carvalho Lucas C. Cordeiro Vanessa Santos Ricardo Ferreira

Published in: SAC (2016)

Keyphrases