Kani : un model checker Rust présenté à Hacker News promet la vérification formelle sans annotations lourdes

Kani, un vérificateur de modèles pour Rust, décroche 143 points sur Hacker News. Le papier arXiv détaille son moteur de bounded model checking et son intégration native avec Cargo pour rendre la vérification formelle accessible aux développeurs Rust ordinaires.