Vanessa Santos

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Evaluation Function

Context Sensitive

Bounded Model Checking

Top Venues

Publications

Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira
Verifying CUDA programs using SMT-based context-bounded model checking. SAC (2016)