dalzilio / mccLinks
High-Level Nets Blaster for the Model-Checking Contest
☆10Updated 7 months ago
Alternatives and similar repositories for mcc
Users that are interested in mcc are comparing it to the libraries listed below
Sorting:
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆27Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- Python Bindings for the Probabilistic Model Checker Storm☆35Updated this week
- A library of formal models in the jani-model format.☆12Updated 2 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 8 months ago
- A tool for explainability and debugging in Answer Set Programming.☆14Updated 3 months ago
- The Termination Problem Database☆30Updated 3 weeks ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- The Git repository for the mCRL2 toolset.☆100Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- Specify and synthesize systems using symbolic algorithms☆50Updated 7 months ago
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 3 years ago
- A Modern Probabilistic Model Checker☆148Updated this week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this week
- Python interface for SWI-Prolog☆49Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- The LTSmin model checking toolset☆60Updated 7 months ago
- Concurrent decision diagram framework written in Rust☆61Updated last week
- General Inductive Logic Programming System☆17Updated 2 years ago
- ☆16Updated last year
- SMTInterpol interpolating SMT solver☆66Updated this week
- A fast and simple automata library☆26Updated this week
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- High-performance probabilistic exact counter☆41Updated this week
- Approximate Model Counter☆78Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago