SMT-Based Bounded Model Checking of C++ Programs. - Mikhail Ramalho; Mauro Freitas; Felipe Rodrigues Monteiro Sousa; Hendrio Marques; Lucas C. Cordeiro; Bernd Fischer 002 (ECBS, 2013)

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)