目录标签

#model-checking

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

4 条记录

标签为“model-checking”按健康指数排序

—

72良好健康指数

APALACHE: symbolic model checker for TLA+ and Quint

Scala · TLA★ 5822026年7月18日

Apache-2.02026年7月18日 · 指标 1.13.0

Maven

69中等健康指数

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

Java · Kotlin · SMT★ 662026年7月15日

Apache-2.02026年7月15日 · 指标 1.13.0

crates.io

59中等健康指数

该仓库未发布描述。

Rust★ 61↓ 336/月2026年7月15日

无许可证2026年7月15日 · 指标 1.13.0

PyPI · crates.io

55中等健康指数

该仓库未发布描述。

Jupyter Notebook · Rust · Python★ 72026年7月21日

MIT2026年7月21日 · 指标 1.13.0