Alternatives and similar repositories for Automata:

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

• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆59Updated last year
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• klipto / Uncertainty
  Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…
  ☆33Updated 8 years ago
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆54Updated last year
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated last year
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last week
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆93Updated 7 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 4 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated 2 weeks ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆35Updated 3 weeks ago
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆16Updated 8 years ago
• boogie-org / sdvbench
  Microsoft Static Driver Verifier Benchmarks
  ☆14Updated 7 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆137Updated 3 weeks 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
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆17Updated 8 months ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 3 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆53Updated 9 months ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆36Updated 4 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆70Updated 2 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆81Updated this week
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆22Updated 3 years ago
• coq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated this week