Few of my projects.

Reset Bug Huting C C++ CUnit Counterexample ESBMC Invariants LLVM Model Checking Perl Python

Map2Check - Finding Software Vulnerabilities using Symbolic Execution and Fuzzing
Bug Huting C C++ LLVM
View Jan 2014

DepthK - A k-Induction Verifier Based on Invariant Inference for CPrograms
C Model Checking Invariants
View May 2011

EZProofC - An easy way to demonstrate and verify errors in C code
C Model Checking Python Counterexample Perl
View Jan 2010

FORTES - FORmal unit TESt generation
CUnit ESBMC
View Jan 2010