github actions : model-checking/kani-github-action : v0.26

Run the Kani Rust Verifier on a Rust Crate

Registry - Download - JSON - codemeta.json
purl: pkg:githubactions/model-checking/kani-github-action@v0.26
Published: almost 3 years ago
Indexed: over 2 years ago
Related tag: v0.26