dalzilio / mccLinks
High-Level Nets Blaster for the Model-Checking Contest
☆10Updated 10 months ago
Alternatives and similar repositories for mcc
Users that are interested in mcc are comparing it to the libraries listed below
Sorting:
- A library of formal models in the jani-model format.☆12Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 11 months ago
- A tool for explainability and debugging in Answer Set Programming.☆15Updated 5 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 11 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated this week
- Tree Proof Generator☆171Updated 6 months ago
- ☆153Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆93Updated last year
- The Vampire Theorem Prover☆349Updated this week
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆27Updated 2 months ago
- The Git repository for the mCRL2 toolset.☆99Updated this week
- A Modern Probabilistic Model Checker☆152Updated this week
- The Termination Problem Database☆30Updated last month
- VATA Tree Automata Library☆32Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Updated 10 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆36Updated this week
- A program for making zooming slides in figma.☆38Updated 2 months ago
- Python interface for SWI-Prolog☆49Updated last week
- Grammatical Framework core: compiler, shell & runtimes☆140Updated this week
- Main repository of the GreatSPN framework☆50Updated 2 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated last month
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this week
- ☆57Updated 2 months ago