↑
Kani: A Model Checker for Rust
Posted by
Jimmc414
|
2 hours ago |
1 comments
ototot 13 minutes ago
Their old paper:
https://dl.acm.org/doi/pdf/10.1145/3510457.3513031
