Alternatives and similar repositories for helena:

Users that are interested in helena are comparing it to the libraries listed below

• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆56Updated 2 months ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 6 months ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆70Updated 7 months ago
• mangpo / greenthumb
  ☆86Updated 2 years ago
• malyzajko / daisy
  ☆43Updated 6 months ago
• ths-rwth / smtrat
  ☆52Updated last month
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆103Updated 3 years ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆21Updated 8 months ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆20Updated 3 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆81Updated last month
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆59Updated 3 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated last month
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆88Updated this week
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆16Updated last month
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆46Updated last month
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆78Updated last week
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆73Updated 2 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 3 weeks ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆29Updated this week
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 3 months ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆59Updated last year