News for hackers. Stuff that matters.

A comment on Kani: A Model Checker for Rust.

Re:Kani: A Model Checker for Rust by ototot on Monday July 06, 2026 @01:45PM (#48808019)
Their old paper: https://dl.acm.org/doi/pdf/10.1145/3510457.3513031
[ Parent | on HN ]

There are no comments on this comment yet.