lip6 / libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
☆14Updated last week
Alternatives and similar repositories for libDDD:
Users that are interested in libDDD are comparing it to the libraries listed below
- A multi-formalism, multi-solution model-checker centered on the language GAL☆24Updated this week
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- ☆52Updated last month
- The LTSmin model checking toolset☆59Updated 5 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- TriCera: a model checker for C programs☆24Updated 3 weeks ago
- ☆28Updated 2 weeks ago
- A model checker for infinite-state systems.☆74Updated 3 months ago
- SMTInterpol interpolating SMT solver☆64Updated 2 weeks ago
- Implementation of multi-core (binary) decision diagrams☆73Updated 10 months ago
- Static Analyzer and Verifier☆47Updated 6 months ago
- LibPoly is a C library for manipulating polynomials☆51Updated 3 months ago
- ☆16Updated 10 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆71Updated this week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆49Updated 5 years ago
- ☆52Updated 9 years ago
- A model checker based on SAT solving and induction☆13Updated 10 years ago
- Solver for Constrained Horn Clauses☆38Updated last week
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Generates loop invariants for program verification☆62Updated 4 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated last week
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆56Updated 9 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- The DRAT-trim proof checker☆57Updated 4 months ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆27Updated last month
- Libraries useful for Dafny programs☆43Updated 3 weeks ago
- Verimag Polyhedra Library☆18Updated last week