verification-toolchain
There are 3 repositories under verification-toolchain topic.
smackers/smack
SMACK Software Verifier and Verification Toolchain
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
marcelosousa/poet
POET (Partial Order Exploration Tools)