Repositories list

• smack

  Public
  SMACK Software Verifier and Verification Toolchain

  rustc-plus-plussmt+ 5verifiercllvmverificationverification-toolchain

  C

  •

  Other

  •82•431•102•7•Updated Oct 21, 2024Oct 21, 2024

• democratizing-software-verification-workshop-2022

  Public
  0•0•0•0•Updated Jul 29, 2022Jul 29, 2022

• smack-wllvm

  Public archive
  Shell

  •

  MIT License

  •0•0•0•0•Updated Mar 18, 2022Mar 18, 2022

• bam-bam-boogieman

  Public
  Boogie AST Manipulator

  Boogie

  •

  MIT License

  •6•1•0•0•Updated Mar 18, 2022Mar 18, 2022

• smackers.github.io

  Public
  SMACK Homepage

  CSS

  •0•0•0•0•Updated Nov 3, 2021Nov 3, 2021

• corral

  Public
  solver for the reachability modulo theories problem

  Boogie

  •

  MIT License

  •29•0•0•0•Updated Jul 6, 2021Jul 6, 2021

• sv-benchmarks

  Public
  170•1•0•0•Updated Dec 2, 2020Dec 2, 2020

• benchexec

  Public
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  Python

  •

  Apache License 2.0

  •198•0•0•0•Updated Nov 27, 2020Nov 27, 2020

• smack-emulab

  Public
  Configurations/scripts to run SV-COMP benchmarks on Emulab

  Python

  •0•0•3•0•Updated Oct 21, 2020Oct 21, 2020

• democratizing-software-verification-workshop-2020

  Public
  0•0•0•0•Updated Jul 22, 2020Jul 22, 2020

• homebrew-smack

  Public
  Ruby

  •0•0•0•1•Updated Jan 5, 2020Jan 5, 2020

• lockpwn

  Public
  blazing fast symbolic analysis for concurrent C programs

  C#

  •

  MIT License

  •1•3•1•0•Updated Dec 11, 2019Dec 11, 2019

• smack-ml

  Public
  Python

  •0•0•0•0•Updated Aug 9, 2019Aug 9, 2019

• smack-rust-regressions

  Public
  Regression tests for Rust support in SMACK

  Rust

  •

  MIT License

  •0•2•0•0•Updated Jul 31, 2019Jul 31, 2019

• democratizing-software-verification-workshop-2019

  Public
  0•0•0•0•Updated Jul 15, 2019Jul 15, 2019

• pthreadDriverBenchmarks

  Public
  C

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

• whoop

  Public
  automatic data race analysis for Linux device drivers

  C

  •

  Other

  •5•12•0•0•Updated Jul 27, 2016Jul 27, 2016

• smack-images

  Public
  Shell

  •0•2•0•0•Updated Jun 21, 2016Jun 21, 2016

• sbb

  Public
  SMACK Boogie Benchmarks

  MIT License

  •1•3•2•0•Updated Dec 8, 2014Dec 8, 2014

• smackd

  Public
  Eclipse Plugin for Debugging with SMACK

  Java

  •1•1•2•0•Updated Aug 14, 2014Aug 14, 2014