Alternatives and similar repositories for panda:

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

• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆64Updated last week
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆71Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated last week
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆60Updated last year
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 6 months ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆25Updated 3 weeks ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last month
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆83Updated this week
• LFrobeen / intellij-datalog
  ☆31Updated 2 years ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 5 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 3 weeks ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆26Updated this week
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 2 months ago