{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:githubactions/model-checking/kani-github-action","name":"model-checking/kani-github-action","description":"Run the Kani Rust Verifier on a Rust Crate","version":"v0.14.0","softwareVersion":"v0.14.0","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/model-checking/kani-github-action","issueTracker":"https://github.com/model-checking/kani-github-action/issues","programmingLanguage":{"@type":"ComputerLanguage","name":"Python"},"dateCreated":"2022-10-28","dateModified":"2022-11-03","datePublished":"2022-11-03","copyrightYear":2022,"downloadUrl":"https://codeload.github.com/model-checking/kani-github-action/tar.gz/v0.14.0","applicationCategory":"actions","runtimePlatform":"actions","developmentStatus":"active","sameAs":["https://github.com/model-checking/kani-github-action"],"https://www.w3.org/ns/activitystreams#likes":6,"https://forgefed.org/ns#forks":14}