plum-umd / java-sketch
a Java front-end for Sketch synthesis tool
☆20Updated 2 months ago
Alternatives and similar repositories for java-sketch:
Users that are interested in java-sketch are comparing it to the libraries listed below
- ☆40Updated 5 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Language bindings for Maude☆21Updated 3 months ago
- The semantics of Java in K☆19Updated 3 years ago
- Luck -- A Language for Property-Based Generators☆34Updated last month
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆79Updated last month
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Optimizing Abstract Abstract Machines☆30Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- VATA Tree Automata Library☆32Updated 7 months ago
- SMTInterpol interpolating SMT solver☆64Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆18Updated 6 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆71Updated this week
- KITTeL/KoAT☆21Updated 6 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated 9 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated this week
- descartes: the cartesian hoare logic prover☆12Updated 8 years ago