Alternatives and similar repositories for automata-toolkit

Users that are interested in automata-toolkit are comparing it to the libraries listed below

• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆14Updated last year
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆21Updated 3 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 4 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆51Updated 5 years ago
• cedricrupb / code_diff
  Fast AST based code differencing in Python
  ☆34Updated 5 months ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 5 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆72Updated 7 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated last week
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 2 months ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated 5 months ago
• fredfeng / Trinity
  ☆25Updated 2 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 11 months ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆32Updated last year
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated this week
• isstac / spf-wca
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Updated 6 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• wala / ML
  ☆26Updated this week
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 5 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 8 months ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆28Updated last month