lucasccordeiro
Lucas C. Cordeiro is a Reader in the Department of Computer Science at the University of Manchester/UK and an Adjunct Professor at UFAM/Brazil.
The University of Manchester, UKManchester
Pinned Repositories
cbmc
C Bounded Model Checker
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
cbmc
C Bounded Model Checker
cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
dsverifier
DSVerifier - Digital Systems Verifier
esbmc
The efficient SMT-based bounded model checker
java-models-library
Java class model library
lucasccordeiro
Map2Check
Memory Management Test Cases Generation of C Programs
sv-benchmarks
Collection of Verification Tasks
lucasccordeiro's Repositories
lucasccordeiro/esbmc
The efficient SMT-based bounded model checker
lucasccordeiro/Map2Check
Memory Management Test Cases Generation of C Programs
lucasccordeiro/cbmc
C Bounded Model Checker
lucasccordeiro/cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
lucasccordeiro/dsverifier
DSVerifier - Digital Systems Verifier
lucasccordeiro/java-models-library
Java class model library
lucasccordeiro/lucasccordeiro
lucasccordeiro/sv-benchmarks
Collection of Verification Tasks