Overview of the EventThe research team at Amazon Web Services (AWS) has developed "Verus," a tool for mathematically verifying the correctness of Rust code. Verus leverages Rust's type system and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results