Publications

[1] Monteiro, F. R., Alves, E. H., Silva, I. S., Ismail, H., Cordeiro, L. C., Filho, E. B. ESBMCGPU A Context-Bounded Model Checking Tool to Verify CUDA Programs. In Science of Computer Programming, pp. 1-15, Elsevier, 2017. DOI: https://doi.org/10.1016/j.scico.2017.09.005

[2] Pereira, P. A., Albuquerque, H. F., Silva, I. S., Marques, H. M., Rodrigues, F. M., Ferreira, R. S., Cordeiro, L. C. SMT-Based Context-Bounded Model Checking for CUDA Programs. In Concurrency and Computation (to appear), John Wiley, 2016.

[3] Pereira, P. A., Albuquerque, H. F., Marques, H. M., Silva, I. S., Santos, V. S., Carvalho, C. B., Cordeiro, L. C. Verifying CUDA Programs using SMT-Based Context-Bounded Model Checking. In ACM Symposium on Applied Computing (SAC), Software Verification and Testing, pp. 1648-1653, 2016. [Presentation]

[4] Pereira, P. A., Albuquerque, H. F., Marques, H. M., Silva, I. S., Santos, V. S., Ferreira, R. S., Carvalho, C. B., Cordeiro, L. C. Verificação de Kernels em Programas CUDA usando Bounded Model Checking. To appear in XVI Brazilian Symposium on High-Performance Computing (WSCAD), pp.24-35, 2015. [Presentation]