Benchmarks

SBESC 2019 – IX Brazilian Symposium on Computing Systems Engineering [Demo]

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

JSCP 2018 – Journal of Science of Computer Programming – Software Track

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

CEP 2017 – 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