Tag
Verus is an open-source automated program verifier for Rust that helps ensure code correctness through mathematical proofs, and is used at Amazon for projects like the Nitro Isolation Engine.