Projects in Awesome Lists by smackers
A curated list of projects in awesome lists by smackers .
https://github.com/smackers/smack
SMACK Software Verifier and Verification Toolchain
c c-plus-plus llvm rust smt verification verification-toolchain verifier
Last synced: 15 May 2025
https://github.com/smackers/whoop
automatic data race analysis for Linux device drivers
Last synced: 02 May 2025
https://github.com/smackers/lockpwn
blazing fast symbolic analysis for concurrent C programs
Last synced: 21 Jul 2025
https://github.com/smackers/smack-rust-regressions
Regression tests for Rust support in SMACK
Last synced: 28 Feb 2025
https://github.com/smackers/democratizing-software-verification-workshop-2022
Last synced: 05 Mar 2026
https://github.com/smackers/smack-emulab
Configurations/scripts to run SV-COMP benchmarks on Emulab
Last synced: 14 May 2026
https://github.com/smackers/democratizing-software-verification-workshop-2019
Last synced: 19 Feb 2026
https://github.com/smackers/democratizing-software-verification-workshop-2020
Last synced: 08 Mar 2026