vix.ing
·
top
·
new
·
best
·
stats
·
spec
Zyad Hassan
Kani: A Model Checker for Rust
2026/07/01 by
Rémi Delmas
,
Zyad Hassan
,
Qinheping Hu
+9 · 11 voices
#cs.SE
#cs.LO
#cs.PL