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 001; Ricardo Ferreira (SAC, 2016)