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

Browse the full SAC paper archive.