PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Model Checking Python Packages

Python packages with the GitHub topic model-checking. Sorted by relevance, with stars and monthly downloads.
JJWRoeloffs
minictl

A small model checker for Computational Tree Logic

5K 2 3
informalsystems
modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

2K 27 3
cristian-mattarei
cosa

CoreIR Symbolic Analyzer

2K 75 18
broundal
pytolemaic

Package for ML model analysis

1K 10 3
agenticraft
agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

920 1 2
model-checking
cbmc-starter-kit

CBMC starter kit makes it easy to add CBMC verification to a software project

848 52 24
konnov
apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

607 1 0
formalmethods
intrepyd

Intrepyd Model Checker

483 18 1
fadoss
umaudemc

Unified Maude model-checking tool

437 13 1
verivital
behaverify

A tool for formal verification of behavior trees

194 24 9
marcusm117
mctk-py

Python Package Model Checking Toolkit

158 6 0
firmai
datagene

DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)

157 206 25
thalestas
esbmc-wr

A ESBMC command line wrapper.

154 11 4
lou1306
pyxmv

(Unofficial) Python interface to nuXmv

143 0 0
janislley
lsverifier

LSVerifier - Large Systems Verifier

141 12 4
kelvich
tlaplus-jupyter

Jupyter kernel for TLA⁺

115 121 8
    • Data from PyPI, GitHub, ClickHouse, and BigQuery