smackers

Repositories

• smack

  SMACK Software Verifier and Verification Toolchain

  c rust c-plus-plus llvm verification smt verifier
  C 67 312 76 7 Updated Apr 24, 2021

• corral

  Forked from boogie-org/corral

  solver for the reachability modulo theories problem
  Boogie MIT 33 0 0 0 Updated Apr 19, 2021

• sv-benchmarks

  Forked from sosy-lab/sv-benchmarks
  161 1 0 0 Updated Dec 2, 2020

• benchexec

  Forked from sosy-lab/benchexec

  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  Python Apache-2.0 121 0 0 0 Updated Nov 27, 2020

• smack-emulab

  Configurations/scripts to run SV-COMP benchmarks on Emulab
  Python 0 0 3 0 Updated Oct 21, 2020

• democratizing-software-verification-workshop-2020
  0 0 0 0 Updated Jul 22, 2020

• smackers.github.io

  SMACK Homepage
  CSS 0 0 0 0 Updated May 9, 2020

• homebrew-smack
  Ruby 0 0 0 1 Updated Jan 5, 2020

• lockpwn

  blazing fast symbolic analysis for concurrent C programs
  C# MIT 1 1 1 0 Updated Dec 11, 2019

• smack-ml
  Python 0 0 0 0 Updated Aug 9, 2019

• smack-rust-regressions

  Regression tests for Rust support in SMACK
  Rust MIT 0 2 0 0 Updated Jul 31, 2019

• democratizing-software-verification-workshop-2019
  0 0 0 0 Updated Jul 15, 2019

• pthreadDriverBenchmarks
  C 0 0 1 0 Updated Nov 20, 2016

• whoop

  automatic data race analysis for Linux device drivers
  C 5 11 0 0 Updated Jul 27, 2016

• smack-images
  Shell 0 2 0 0 Updated Jun 21, 2016

• sbb

  SMACK Boogie Benchmarks
  MIT 1 3 2 0 Updated Dec 8, 2014

• smackd

  Eclipse Plugin for Debugging with SMACK
  Java 1 1 2 0 Updated Aug 14, 2014