sosy-lab / benchexec

Related projects ⓘ

Alternatives and complementary repositories for benchexec

• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆227Updated this week
• boogie-org / boogie
  Boogie
  ☆514Updated this week
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆233Updated 3 weeks ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆114Updated 3 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆169Updated 10 months ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆185Updated last year
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆214Updated last week
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆199Updated this week
• seahorn / seahorn
  SeaHorn Verification Framework
  ☆441Updated 2 months ago
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆313Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 4 months ago
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆525Updated last month
• smackers / smack
  SMACK Software Verifier and Verification Toolchain
  ☆432Updated last month
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆211Updated this week
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆128Updated last year
• ksen007 / calfuzzer
  ☆24Updated 9 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆374Updated this week
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆77Updated this week
• UniCodeSphere / Creal
  ☆26Updated 3 weeks ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆137Updated this week
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆50Updated 6 months ago
• vmware-labs / verified-betrfs
  A verified high-performance file system
  ☆32Updated last week
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆45Updated last year
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation
  ☆277Updated 7 months ago
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆303Updated 6 months ago
• goblint / analyzer
  Static analysis framework for C
  ☆184Updated this week
• mangpo / greenthumb
  ☆84Updated 2 years ago