Alternatives and similar repositories for sloth

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

• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 8 years ago
• mit-plv / bbv
  Bedrock Bit Vector Library
  ☆28Updated 2 months ago
• TiarkRompf / reachability
  ☆53Updated last week
• ISANobody / sill
  ☆29Updated 10 years ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆73Updated 3 months ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆91Updated 3 months ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 4 years ago
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Updated 2 years ago
• rowangithub / DOrder
  DOrder -- Automatically Learning Shape Specifications
  ☆20Updated 8 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated last year
• arthuraa / extructures
  Finite sets and maps for Coq with extensional equality
  ☆30Updated 3 months ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 3 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆45Updated this week
• ufmg-smite / carcara
  ☆39Updated this week
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• rocq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• SMT-LIB / SMT-LIB-2
  Public reference documents for the SMT-LIB standard
  ☆17Updated this week
• julesjacobs / boa
  Partition refinement
  ☆15Updated 2 years ago
• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆17Updated last year
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆75Updated last year
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆90Updated last week
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆27Updated last week
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago