Alternatives and similar repositories for sloth

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

• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• mit-plv / bbv
  Bedrock Bit Vector Library
  ☆28Updated 3 weeks ago
• evdenis / acsl-proved
  Fully proved small C functions (examples for verification course).
  ☆16Updated 8 years ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆45Updated 3 weeks ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆37Updated 2 months ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 8 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆46Updated this week
• ufmg-smite / carcara
  ☆39Updated 3 weeks ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• TiarkRompf / reachability
  ☆53Updated last week
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• caterinaurban / function
  ☆13Updated last year
• uuverifiers / eldarica
  The Eldarica model checker
  ☆94Updated last month
• SMT-LIB / SMT-LIB-2
  Public reference documents for the SMT-LIB standard
  ☆17Updated this week
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated 3 months ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆31Updated last year
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 7 months ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated 2 years ago
• fblanqui / color
  Coq library on rewriting theory and termination
  ☆37Updated 2 months ago
• arthuraa / extructures
  Finite sets and maps for Coq with extensional equality
  ☆30Updated 4 months ago
• acorrenson / SATurne
  Tiny verified SAT-solver
  ☆30Updated 3 years ago
• TikhonJelvis / imp
  Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
  ☆15Updated 9 years ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆43Updated 6 months ago
• Mtac2 / Mtac2
  ☆56Updated this week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆90Updated last week
• julesjacobs / boa
  Partition refinement
  ☆16Updated 2 years ago
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆26Updated 2 years ago