Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk introduces functional verification and the technique used by Verus to prove that program behavior matches a specification. It demonstrates how programmers can use the tool to verify low-level systems code written in a safe Rust dialect.
