smackers

smack Public
SMACK Software Verifier and Verification Toolchain

C 356 74 90 6 Updated Jan 3, 2022
smackers.github.io Public
SMACK Homepage

CSS 0 0 0 0 Updated Nov 3, 2021
corral Public
solver for the reachability modulo theories problem

Boogie 0 MIT 37 0 0 Updated Jul 6, 2021
smack-wllvm Public

Shell 0 MIT 0 0 0 Updated Jun 8, 2021
sv-benchmarks Public

1 168 0 0 Updated Dec 2, 2020
benchexec Public
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Python 0 Apache-2.0 137 0 0 Updated Nov 27, 2020
smack-emulab Public
Configurations/scripts to run SV-COMP benchmarks on Emulab

Python 0 0 3 0 Updated Oct 21, 2020
democratizing-software-verification-workshop-2020 Public

0 0 0 0 Updated Jul 22, 2020
homebrew-smack Public

Ruby 0 0 0 1 Updated Jan 5, 2020
lockpwn Public
blazing fast symbolic analysis for concurrent C programs

C# 1 MIT 1 1 0 Updated Dec 11, 2019

Pinned