Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

github actions namespaces: model-checking

View the packages within the model-checking namespace on the github actions package registry, including their maintainers and dependencies.

Top 7.7% on github actions
model-checking/kani-github-action v0.14.0
Run the Kani Rust Verifier on a Rust Crate
30 versions - Latest release: about 3 years ago - 15 dependent repositories - 6 stars on GitHub