Login / Signup
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
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
bounded model checking
parallel implementation
contextual information
gpu accelerated
model checking
gpu implementation
real time
parallel computation
graphics hardware
context aware
parallel processing
parallel computing
general purpose
temporal logic
computer programs
linear temporal logic