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.

5 Einträge

Getaggt als „model-checking“Geordnet nach Gesundheitsindex

—

86ExzellentGesundheitsindex

apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

Scala · TLA★ 58218. Juli 2026

Apache-2.018. Juli 2026 · Metriken 2.10.0

Maven

81ExzellentGesundheitsindex

ftsrg/theta

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