HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://github.com/model-checking/kani

Current story

#
Kani Rust Verifier(github.com)
HN #49,718,4532026-09-15 20:28 UTC
3 pointsby lwhsiao59 days ago0 comments

Prior reposts (1 of 2 total)

#
Kani: A bit-precise model checker for Rust(github.com)
HN #40,677,2562024-06-14 03:26 UTC
1 pointsby nequo882 days ago0 comments