Skip to content

smackers/smack

Error
Looks like something went wrong!

About

SMACK Software Verifier and Verification Toolchain

smackers.github.io

Topics

c rust c-plus-plus llvm verification smt verifier verification-toolchain

Resources

Readme

License

View license

Code of conduct

Code of conduct
Activity
Custom properties

Stars

438 stars

Watchers

23 watching

Forks

83 forks
Report repository

Releases 31

SMACK v2.8.0 Latest
Oct 29, 2021
+ 30 releases

Packages

No packages published

Contributors 19
+ 5 contributors

Languages