目录标签

#model-checking

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

5 条记录

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

—

86优秀健康指数

APALACHE: symbolic model checker for TLA+ and Quint

Scala · TLA★ 5822026年7月18日

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

Maven

81优秀健康指数

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

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

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

crates.io

63中等健康指数

该仓库未发布描述。

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

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

—

62中等健康指数

yet another model checker

C++ · C · MATLAB★ 262026年8月22日

Unlicense2026年8月22日 · 指标 2.10.0

PyPI · crates.io

57中等健康指数

该仓库未发布描述。

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

MIT2026年7月21日 · 指标 2.10.0