Benchmarks


Journal of Science of Computer Programming 2017 – Software Track

ESBMC-GPU: A Context-Bounded Model Checking Tool to Verify CUDA Programs

CEP 2016 – Concurrency and Computation: Practice and Experience

SMT-based context-bounded model checking for CUDA programs

SAC 2016 – ACM Symposium on Applied Computing

Verifying CUDA Programs using SMT-Based Context-Bounded Model Checking

WSCAD 2015 – XVI Simpósio em Sistemas Computacionais de Alto Desempenho

Verificação de Kernels em Programas CUDA usando Bounded Model Checking