smackers

Pinned Repositories

bam-bam-boogieman
Boogie AST Manipulator
Language:Boogie0 0 00
lockpwn
blazing fast symbolic analysis for concurrent C programs
Language:C#1 6 11
sbb
SMACK Boogie Benchmarks
3 7 21
smack
SMACK Software Verifier and Verification Toolchain
Language:C427 23 45282
smack-emulab
Configurations/scripts to run SV-COMP benchmarks on Emulab
Language:Python0 4 70
smack-images
Language:Shell2 3 00
smack-rust-regressions
Regression tests for Rust support in SMACK
Language:Rust2 4 00
smackd
Eclipse Plugin for Debugging with SMACK
Language:Java1 5 181
sv-benchmarks
1 5 00
whoop
automatic data race analysis for Linux device drivers
Language:C12 8 05

smackers's Repositories

smackers/smack
SMACK Software Verifier and Verification Toolchain
Language:C427 23 45282
smackers/whoop
automatic data race analysis for Linux device drivers
Language:C12 8 05
smackers/sbb
SMACK Boogie Benchmarks
3 7 21
smackers/smack-images
Language:Shell2 3 00
smackers/smack-rust-regressions
Regression tests for Rust support in SMACK
Language:Rust2 4 00
smackers/lockpwn
blazing fast symbolic analysis for concurrent C programs
Language:C#1 6 11
smackers/smackd
Eclipse Plugin for Debugging with SMACK
Language:Java1 5 181
smackers/sv-benchmarks
1 5 00
smackers/bam-bam-boogieman
Boogie AST Manipulator
Language:Boogie0 0 00
smackers/smack-emulab
Configurations/scripts to run SV-COMP benchmarks on Emulab
Language:Python0 4 70
smackers/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python3 0
smackers/corral
solver for the reachability modulo theories problem
Language:Boogie1 0
smackers/democratizing-software-verification-workshop-2019
smackers/democratizing-software-verification-workshop-2020
4 0
smackers/democratizing-software-verification-workshop-2022
2 0
smackers/homebrew-smack
Language:Ruby3 0
smackers/pthreadDriverBenchmarks
Language:C4 1
smackers/smack-ml
Language:Python4 0
smackers/smack-wllvm
Language:Shell3 0
smackers/smackers.github.io
SMACK Homepage
Language:CSS4 0