crates.io · PyPI
model-checking/kani
Kani Rust Verifier
Apache-2.0Sep 18, 2026 · metrics 2.10.0
All tags
Catalogue tag
#model-checking
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
10 records
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.0Sep 11, 2026 · metrics 2.10.0
Maven
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
Apache-2.0Oct 19, 2026 · metrics 2.10.0
—
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Apache-2.0Oct 19, 2026 · metrics 2.10.0
Maven
ftsrg/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Apache-2.0Sep 8, 2026 · metrics 2.10.0
NuGet
AnthonyLloyd/CsCheck
Random testing library for C#
Apache-2.0Sep 16, 2026 · metrics 2.10.0
crates.io
fabracht/tla-rs
No repository description published.
No licenseSep 8, 2026 · metrics 2.10.0
—
Smattr/rumur
yet another model checker
UnlicenseOct 20, 2026 · metrics 2.10.0
PyPI · npm
munshi007/Aura-State
No repository description published.
MITSep 27, 2026 · metrics 2.10.0
PyPI · crates.io
sybila/biodivine-aeon-py
No repository description published.
MITSep 12, 2026 · metrics 2.10.0