keyvalue
id351882164
namekani
full_namemodel-checking/kani
html_urlhttps://github.com/model-checking/kani
descriptionKani Rust Verifier
created_atMarch 26, 2021, 6:49 p.m.
updated_atNov. 23, 2024, 11:59 p.m.
pushed_atNov. 22, 2024, 9:54 p.m.
size32,550
stargazers_count2,261
watchers_count24
forks_count94
open_issues527
languageRust
awesome_list

https://github.com/analysis-tools-dev/static-analysis