1. SMT‐based context‐bounded model checking for CUDA programs. (2nd August 2016) Authors: Pereira, Phillipe; Albuquerque, Higo; da Silva, Isabela; Marques, Hendrio; Monteiro, Felipe; Ferreira, Ricardo; Cordeiro, Lucas Other Names: Fox Geoffrey C. guestEditor.; Goldman Alfredo guestEditor.; Arantes Luciana guestEditor.; Moreno Edward guestEditor. Journal: Concurrency and computation Issue: Volume 29:Number 22(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗