Alternatives and similar repositories for jflap-lib:

Users that are interested in jflap-lib are comparing it to the libraries listed below

• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated 3 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆70Updated this week
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆13Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆53Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆150Updated last week
• SpoonLabs / npefix
  Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…
  ☆14Updated 4 months ago
• malyzajko / daisy
  ☆46Updated 7 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆210Updated this week
• julianthome / autorex
  A dk.brics FSM to regular-expression-string converter
  ☆10Updated 4 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆108Updated last month
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated last month
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 5 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 5 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆140Updated 3 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆61Updated 4 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 6 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 4 months ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated 3 months ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 6 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆222Updated this week
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated 2 weeks ago