Search Packages

minictl

A small model checker for Computational Tree Logic

pytolemaic

Toolbox for analysis of model's quality and model's description. For further details see

modelator-py

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

cosa

CoreIR Symbolic Analyzer

apalache-rpc-client

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

agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination

umaudemc

Unified Maude model-checking utility

intrepyd

Intrepyd Model Checker

cbmc-starter-kit

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

mctk-py

Model Checking Toolkit for Python

pyxmv

(Unofficial) Python interface to nuXmv

esbmc-wr

A ESBMC command line wrapper.

behaverify

BehaVerify: A Formal Verification Tool for Behavior Trees

tlaplus-jupyter

Jupyter kernel for TLA⁺

lsverifier

This open-source tool streamlines software verification by allowing the simultaneous assessment of extensive files and functions in a single run. By leveraging the ESBMC module, it enhances vulnerability detection and reinforces software security.

datagene

Data Comparison Toolbox with Transformation and Similarity Analysis