Amazon Science beskriver hvordan verktøyet Verus kan brukes til formelt å bevise at Rust-kode er korrekt. Metoden er en del av selskapets satsing på automatisert resonnering innen programvareutvikling.
Kilde: https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus