PyRank

Formal Methods Python Packages

Python packages with the GitHub topic formal-methods. Sorted by relevance, with stars and monthly downloads.
florianschanda
pyvcg

Verification Condition Generator

90K 3 4
florianschanda
miss-hit-core

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

18K 199 22
florianschanda
miss-hit

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

13K 199 22
gaperez64
acacia-boomslang

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

6K 5 5
koehlma
momba-engine

Momba's state space exploration engine.

3K 19 3
fadoss
maude

Language bindings for Maude

3K 25 3
AdaCore
recordflux

A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.

2K 126 8
cristian-mattarei
cosa

CoreIR Symbolic Analyzer

2K 75 18
koehlma
momba

A Python library for quantitative models.

1K 19 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.

940 1 2
koehlma
racetrack

A formal model of the Racetrack benchmark.

574 19 3
punt-labs
punt-z-spec

Creates, validates, and animates Z specifications from source code and generates code from specifications

482 3 1
formalmethods
intrepyd

Intrepyd Model Checker

482 18 1
MarcoFavorito
pythogic

Python package for deal with logical formulas and formal systems

326 4 0
re-models
re-technical-report

Helper functions for the report 'Assessing a Formal Model of Reflective Equilibrium'

289 1 0
AstraIntella
astraintella

AstraIntella — verified AI reasoning infrastructure. Placeholder reserving the PyPI name; see verasolve for the SDK.

191 0 0
verivital
behaverify

A tool for formal verification of behavior trees

188 24 9
daviddoret
punctilious

A human-friendly and developer-friendly math proof assistant

185 3 0
ElNiak
panther-net

Panther: Protocol formal Analysis and formal Network Threat Evaluation Resources

172 42 7
lou1306
pyxmv

(Unofficial) Python interface to nuXmv

150 0 0
mattyonweb
pynuxmv

transpiler from (a subset of) python to nuXmv

143 5 0
TimeLordRaps
satisfaction-suffices

SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic

129 1 0
sushaan-k
leancode

Formally verified AI code generation pipeline with proof assistants

125 0 0
crasofuentes-hub
qisa-consensus-engine

Deterministic multi-perspective AI consensus engine with cryptographic trace verification and formal convergence guarantees.

105 0 0