emina / kodkod
Kodkod solver for relational logic
☆74Updated last year
Alternatives and similar repositories for kodkod:
Users that are interested in kodkod are comparing it to the libraries listed below
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 9 months ago
- The LTSmin model checking toolset☆59Updated 6 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Core components for the Scribble Java tools☆56Updated 7 months ago
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- PC-miner tool for program chairs☆27Updated last month
- Luck -- A Language for Property-Based Generators☆34Updated 2 months ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- SPARK 2014 repository for the Why3 verification platform.☆30Updated 3 weeks ago
- A model checker for infinite-state systems.☆75Updated 4 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last month
- Alloy with browser-based visualizations☆29Updated 3 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆68Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- generative programming & verification☆33Updated 3 years ago
- Lem semantic definition language☆139Updated last month
- solver for the reachability modulo theories problem☆60Updated last year
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆42Updated 2 weeks ago
- Maude Formal Environment☆17Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- surgical precision JIT compilers☆121Updated 7 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- T2 Temporal Prover☆95Updated 7 years ago