Alternatives to model-checking/kani
3.6k stars · Rust · back to the repository
Two measured signals: repositories that share topics (at least two), and repositories discussed in the same threads. Cards are ranked by stars gained this week.
Shares topics with
Repositories with at least two topics in common: most shared topics first. Topics are labels maintainers put on their own repositories, so they say what a project claims to be, not what its code does.
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Shared: model-checking, verification
prusti/prusti
A static verifier for Rust, based on the Viper verification infrastructure.
Shared: rust, verification
will62794/spectacle
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Shared: model-checking, verification
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
Shared: model-checking, verification
Everything we measure about model-checking/kani · stars over time, growth, contributors, issues and pull requests.