dalzilio / mccLinks
High-Level Nets Blaster for the Model-Checking Contest
☆10Updated last year
Alternatives and similar repositories for mcc
Users that are interested in mcc are comparing it to the libraries listed below
Sorting:
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated last month
- A library of formal models in the jani-model format.☆14Updated 3 years ago
- Python Bindings for the Probabilistic Model Checker Storm☆37Updated last week
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated last year
- SMTInterpol interpolating SMT solver☆68Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago
- A Modern Probabilistic Model Checker☆158Updated last week
- The Vampire Theorem Prover☆369Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆132Updated 2 weeks ago
- ☆159Updated last month
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- Python interface for SWI-Prolog☆49Updated last week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 2 months ago
- 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
- The Heterogeneous Tool Set☆59Updated 2 months ago
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Updated 6 months ago
- Python client for coq-lsp☆44Updated last month
- ☆60Updated last month
- The Termination Problem Database☆30Updated 4 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- A tool for explainability and debugging in Answer Set Programming.☆15Updated 9 months ago
- The Git repository for the mCRL2 toolset.☆103Updated last week
- Tree Proof Generator☆177Updated 10 months ago
- Parser for Attempto Controlled English (ACE)☆209Updated last year
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Updated 5 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 5 months ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago