verification-toolchain

There are 3 repositories under verification-toolchain topic.

smackers/smack
SMACK Software Verifier and Verification Toolchain
Language:C443 23 45485
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language:Python330 9 17759
marcelosousa/poet
POET (Partial Order Exploration Tools)
Language:C5 5 320