Alternatives and similar repositories for mcc

Users that are interested in mcc are comparing it to the libraries listed below

• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated last month
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆14Updated 3 years ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆37Updated last week
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated last week
• vprover / vampire
  The Vampire Theorem Prover
  ☆369Updated last week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆132Updated 2 weeks ago
• eprover / eprover
  ☆159Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated this week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 2 months ago
• tyler-utah / PBL
  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
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 2 months ago
• nicolasAmat / SMPT
  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
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆44Updated last month
• ths-rwth / smtrat
  ☆60Updated last month
• TermCOMP / TPDB
  The Termination Problem Database
  ☆30Updated 4 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 5 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• bramucas / xclingo2
  A tool for explainability and debugging in Answer Set Programming.
  ☆15Updated 9 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated last week
• wo / tpg
  Tree Proof Generator
  ☆177Updated 10 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆209Updated last year
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆13Updated 5 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 5 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago