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.

4 Einträge

Getaggt als „model-checking“Geordnet nach Gesundheitsindex

—

72GutGesundheitsindex

apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

Scala · TLA★ 58218. Juli 2026

Apache-2.018. Juli 2026 · Metriken 1.13.0

Maven

69MittelGesundheitsindex

ftsrg/theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Java · Kotlin · SMT★ 6615. Juli 2026

Apache-2.015. Juli 2026 · Metriken 1.13.0

crates.io

59MittelGesundheitsindex

fabracht/tla-rs

Keine Repository-Beschreibung veröffentlicht.

Rust★ 61↓ 336/Monat15. Juli 2026

Keine Lizenz15. Juli 2026 · Metriken 1.13.0

PyPI · crates.io

55MittelGesundheitsindex

sybila/biodivine-aeon-py

Keine Repository-Beschreibung veröffentlicht.

Jupyter Notebook · Rust · Python★ 721. Juli 2026

MIT21. Juli 2026 · Metriken 1.13.0