ssvlab

Federal University of AmazonasManaus, Amazonas, Brazil

Pinned Repositories

cbmc
C Bounded Model Checker
Language:C++00
dsverifier
DSVerifier - Digital Systems Verifier
Language:C124
esbmc
The efficient SMT-based bounded model checker
Language:C++3 0 00
esbmc-gpu
ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer safety, array bounds, arithmetic overflow, division by zero, and user-specified assertions in programs written in Compute Unified Device Architecture (CUDA).
Language:C8 3 11
ssvlab.github.io
SSVLAB page
Language:HTML24

ssvlab's Repositories

ssvlab/dsverifier
DSVerifier - Digital Systems Verifier
Language:C124
ssvlab/esbmc-gpu
ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer safety, array bounds, arithmetic overflow, division by zero, and user-specified assertions in programs written in Compute Unified Device Architecture (CUDA).
Language:C8 3 11
ssvlab/esbmc
The efficient SMT-based bounded model checker
Language:C++3 0 00
ssvlab/ssvlab.github.io
SSVLAB page
Language:HTML24
ssvlab/cbmc
C Bounded Model Checker
Language:C++00