Practical, High-Performance Verification in Rust

Downloads

September 2024

Automatically synthesize proof annotations that help Verus prove the correctness of Rust code.

Github for AutoVerus