Alternatives and similar repositories for VaRA-Tool-Suite:

Users that are interested in VaRA-Tool-Suite are comparing it to the libraries listed below

• PolyJIT / benchbuild
  Empirical-Research Toolkit
  ☆11Updated 6 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆51Updated last month
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated last year
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆163Updated 7 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 6 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 6 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆59Updated 3 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆77Updated 4 years ago
• CVC4 / CVC4-archived
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆16Updated 3 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆108Updated this week
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆99Updated 4 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆206Updated this week
• k3ut0i / llvm-dataflow-graphs
  drawing graphs for llvm ir. data flow and control flow
  ☆40Updated 7 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation
  ☆276Updated 8 months ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆26Updated 5 years ago
• stg-tud / opal-backup
  ☆10Updated 3 years ago
• sosy-lab / java-common-lib
  SoSy-Lab Java Common Library
  ☆12Updated this week
• beckus / AlloyAnalyzer
  An unofficial copy of MIT's Alloy Analyzer model checking tool.
  ☆20Updated 11 years ago
• malyzajko / daisy
  ☆43Updated 6 months ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆45Updated 2 years ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆10Updated 6 years ago
• mchalupa / dg
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆491Updated last year
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• ASSERT-KTH / pankti
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198
  ☆18Updated 2 months ago
• skivm / ski
  SKI virtual machine for testing concurrency bugs
  ☆11Updated 9 years ago