dalzilio / mcc
High-Level Nets Blaster for the Model-Checking Contest
☆10Updated 4 months ago
Alternatives and similar repositories for mcc:
Users that are interested in mcc are comparing it to the libraries listed below
- A multi-formalism, multi-solution model-checker centered on the language GAL☆24Updated last month
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆27Updated last year
- SMTInterpol interpolating SMT solver☆63Updated last month
- A Modern Probabilistic Model Checker☆145Updated this week
- The Termination Problem Database☆28Updated 2 months ago
- The LTSmin model checking toolset☆57Updated 5 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆33Updated this week
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Main repository of the GreatSPN framework☆44Updated last month
- A library of formal models in the jani-model format.☆11Updated 2 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated 5 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- Concurrent decision diagram framework written in Rust☆59Updated this week
- A fast and simple automata library☆23Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- A model checker for infinite-state systems.☆74Updated 3 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆54Updated 11 months ago
- ☆137Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated last week
- The VerCors verification toolset for verifying parallel and concurrent software☆71Updated this week
- Pedagogical first-order prover in Python☆75Updated this week
- ☆52Updated 2 weeks ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated last month
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- 🕰️ A solver for temporal programs.☆22Updated 9 months ago
- Intrepyd Model Checker☆18Updated 3 years ago
- AE-solver and Skolemizer☆16Updated 3 months ago