model-checking — 开源软件健康

crates.io · PyPI

96卓越健康指数

model-checking/kani

Kani Rust Verifier

Rust★ 3,427↓ 66.1K/月2026年9月18日

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

—

86优秀健康指数

apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

Scala · TLA★ 5982026年9月11日

Apache-2.02026年9月11日 · 指标 2.10.0

Maven

83优秀健康指数

LearnLib/automatalib

A free, open-source Java library for automata, graphs, and transition systems

Java★ 1042026年10月19日

Apache-2.02026年10月19日 · 指标 2.10.0

—

81优秀健康指数

epfl-lara/stainless

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Scala★ 4072026年10月19日

Apache-2.02026年10月19日 · 指标 2.10.0

Maven

80优秀健康指数

ftsrg/theta

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

Java · Kotlin · SMT★ 662026年9月8日

Apache-2.02026年9月8日 · 指标 2.10.0

NuGet

65良好健康指数

AnthonyLloyd/CsCheck

Random testing library for C#

C#★ 2392026年9月16日

Apache-2.02026年9月16日 · 指标 2.10.0

crates.io

65良好健康指数

fabracht/tla-rs

该仓库未发布描述。

Rust★ 69↓ 341/月2026年9月8日

无许可证2026年9月8日 · 指标 2.10.0

—

63中等健康指数

Smattr/rumur

yet another model checker

C++ · C · MATLAB★ 262026年10月20日

Unlicense2026年10月20日 · 指标 2.10.0

PyPI · npm

57中等健康指数

munshi007/Aura-State

该仓库未发布描述。

Python · TypeScript★ 30↓ 2,486/月2026年9月27日

MIT2026年9月27日 · 指标 2.10.0

PyPI · crates.io

57中等健康指数

sybila/biodivine-aeon-py

该仓库未发布描述。

Jupyter Notebook · Rust · Python★ 7↓ 1,185/月2026年9月12日

MIT2026年9月12日 · 指标 2.10.0

#model-checking