Search

Subject model checking -- GPU -- CUDA programs -- formal verification

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) ↗

Limit your search

  • model checking -- GPU -- CUDA programs -- formal verification 1