Kani: o verificador de modelos para Rust que prova ausência de bugs
Kani e uma ferramenta de verificação formal para Rust que usa model checking para provar matematicamente que seu código não tem certos tipos de bugs. Entenda como funciona, quando usar e como ela se diferencia de testes e fuzzing.