Kani: A Model Checker for Rust
- Authors:Rémi Delmas, Zyad Hassan, Qinheping Hu, Rahul Kumar, Felipe R.
- We present Kani, an open-source model checker for Rust that pushes bounded model checking beyond bug-finding
Unverified
- Authors:Rémi Delmas, Zyad Hassan, Qinheping Hu, Rahul Kumar, Felipe R.
- We present Kani, an open-source model checker for Rust that pushes bounded model checking beyond bug-finding
Sources: Arxiv