crates.io · PyPI
model-checking/kani
Kani Rust Verifier
Apache-2.018. Sept. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#model-checking
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
10 Einträge
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.011. Sept. 2026 · Metriken 2.10.0
Maven
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
Apache-2.019. Okt. 2026 · Metriken 2.10.0
—
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Apache-2.019. Okt. 2026 · Metriken 2.10.0
Maven
ftsrg/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Apache-2.08. Sept. 2026 · Metriken 2.10.0
NuGet
AnthonyLloyd/CsCheck
Random testing library for C#
Apache-2.016. Sept. 2026 · Metriken 2.10.0
crates.io
fabracht/tla-rs
Keine Repository-Beschreibung veröffentlicht.
Keine Lizenz8. Sept. 2026 · Metriken 2.10.0
—
Smattr/rumur
yet another model checker
Unlicense20. Okt. 2026 · Metriken 2.10.0
PyPI · npm
munshi007/Aura-State
Keine Repository-Beschreibung veröffentlicht.
MIT27. Sept. 2026 · Metriken 2.10.0
PyPI · crates.io
sybila/biodivine-aeon-py
Keine Repository-Beschreibung veröffentlicht.
MIT12. Sept. 2026 · Metriken 2.10.0