SMACK Software Verifier and Verification Toolchain
-
Updated
Oct 21, 2024 - C
#
verification-toolchain
Here are 3 public repositories matching this topic...
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
llvm
verification
symbolic-execution
instrumentation
slice
program-verification
software-verification
klee
slicing
llvm-ir
verification-toolchain
program-slicing
-
Updated
Oct 30, 2024 - Python
POET (Partial Order Exploration Tools)
-
Updated
Oct 19, 2018 - C
Improve this page
Add a description, image, and links to the verification-toolchain topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verification-toolchain topic, visit your repo's landing page and select "manage topics."