Verus -- SMT-based verification of Rust systems code (YouTube)

Knowledge graph entry auto-generated from personal notes.

source:: https://www.youtube.com/watch?v=7WtWA0TTBqg synonyms:: based,code,rust,smt,systems,