Repositories list

• boogie-runner

  Public
  Framework for running different tools on boogie programs

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•1•0•Updated Apr 5, 2016Apr 5, 2016

• symbooglix.github.io

  Public
  Web page for the Symbooglix project

  HTML

  •0•0•0•0•Updated Mar 5, 2016Mar 5, 2016

• sv-benchmarks

  Public
  C

  •169•0•0•0•Updated Nov 3, 2015Nov 3, 2015

• sbb

  Public
  SMACK Boogie Benchmarks

  MIT License

  •1•0•0•0•Updated Nov 3, 2015Nov 3, 2015

• icst16-tools-docker-files

  Public
  Python

  •0•0•0•0•Updated Nov 2, 2015Nov 2, 2015

• klee

  Public
  KLEE Symbolic Virtual Machine

  C++

  •

  Other

  •682•0•0•0•Updated Oct 21, 2015Oct 21, 2015

• gpu

  Public
  Public GPU Boogie program benchmarks

  C

  •0•0•0•0•Updated May 26, 2015May 26, 2015