ondrik / libvata
VATA Tree Automata Library
☆32Updated 6 months ago
Alternatives and similar repositories for libvata:
Users that are interested in libvata are comparing it to the libraries listed below
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 5 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆79Updated this week
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- ☆19Updated 8 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated last year
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆69Updated this week
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- Kodkod solver for relational logic☆74Updated last year
- Luck -- A Language for Property-Based Generators☆34Updated this week
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- PC-miner tool for program chairs☆24Updated this week
- surgical precision JIT compilers☆121Updated 7 years ago
- T2 Temporal Prover☆93Updated 7 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Specify and synthesize systems using symbolic algorithms☆47Updated 4 months ago