Topic: "verification-toolchain"
smackers/smack
SMACK Software Verifier and Verification Toolchain
Language: C - Size: 7.66 MB - Last synced at: 15 days ago - Pushed at: 16 days ago - Stars: 436 - Forks: 83
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language: Python - Size: 2.13 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 320 - Forks: 57
marcelosousa/poet
POET (Partial Order Exploration Tools)
Language: C - Size: 14.3 MB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
