citiususc / jflap-lib
An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
☆52Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for jflap-lib
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆33Updated 11 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- A suite of tools for analyzing compiled Java code.☆42Updated 2 weeks ago
- syntactic merge tool for java☆20Updated 9 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- A regular expression to SMT-LIB constraint translator☆10Updated 5 years ago
- ☆14Updated 2 years ago
- GramTest: A tool for Grammar based Test case generation☆85Updated last year
- The Ultimate program analysis framework.☆198Updated this week
- SMTInterpol interpolating SMT solver☆60Updated 4 months ago
- Static Analyzer and Verifier☆45Updated 3 weeks ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆29Updated this week
- Multi-Objective GP for Automated Repair of Java☆42Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆206Updated 3 months ago
- TurnKey artifact for Z3☆34Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- KeY Theorem Prover for Deductive Java Verification☆48Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆143Updated 3 months ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 2 years ago
- Mutation system for Java programs, including OO mutation operators.☆66Updated 5 years ago
- Dynamic detection of likely invariants☆214Updated last month
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆92Updated 5 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- Polyglot Extensible Compiler Framework for Java☆107Updated 2 years ago