dalzilio / mcc
High-Level Nets Blaster for the Model-Checking Contest
☆10Updated last year
Related projects: ⓘ
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆27Updated 10 months ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆29Updated this week
- A Modern Probabilistic Model Checker☆133Updated last week
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- Main repository of the GreatSPN framework☆42Updated 4 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆12Updated 3 weeks ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆26Updated this week
- The Termination Problem Database☆27Updated 3 months ago
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆12Updated 4 months ago
- A fast and simple automata library☆19Updated 3 weeks ago
- The LTSmin model checking toolset☆52Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆28Updated 7 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 10 months ago
- Pedagogical first-order prover in Python☆70Updated 2 months ago
- ☆52Updated 3 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆47Updated 2 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆34Updated last month
- SAT Solver SATCH☆105Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆41Updated 3 weeks ago
- Approximate Model Counter☆70Updated 2 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- A Python model checking package☆57Updated 2 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆55Updated last week
- The main development version of the PRISM model checker.☆154Updated this week