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)

SMT-based context-bounded model checking for CUDA programs. - Phillipe A. Pereira; Higo F. Albuquerque; Isabela da Silva; Hendrio Marques; Felipe R. Monteiro; Ricardo Ferreira; Lucas C. Cordeiro (Concurr. Comput. Pract. Exp., 2017)

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. - Felipe R. Monteiro; Erickson H. da S. Alves; Isabela da Silva; Hussama Ismail; Lucas C. Cordeiro; Eddie Batista de Lima Filho (Sci. Comput. Program., 2018)