osspath
Archive
Repos
osspath
Jobs
Repos
Funding
Ecosystems
Orgs
Explore
Search
⌘K
← Repositories
model-checking
kani
Kani Rust Verifier
3.1k
Stars
148
Forks
483
Issues
Apache-2.0
License
active
Last GitHub commit: Jun 29, 2026
View on GitHub →
Contribution
483 open issues →
active project
← Browse all repos
Something inaccurate? Report a correction →