gkastrinis / panda
A Datalog compiler and library
☆19Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for panda
- Incremental Program Analysis Framework☆91Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- Staged Abstract Interpreters☆65Updated last year
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- TriCera: a model checker for C programs☆18Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- solver for the reachability modulo theories problem☆58Updated last year
- Generates loop invariants for program verification☆58Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- The MemCAD static analyzer☆25Updated 3 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Kodkod solver for relational logic☆74Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- ☆31Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆29Updated last week
- An automated deductive program verifier.☆39Updated last year
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- Dynamic analysis of multithreaded C programs☆12Updated 4 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago