Posts tagged verus

• Survey. An Introduction to OS-Level Verification with Asterinas and Verus  ‒ October 14, 2026
  A talk about verifying Linux compatible kernel written with Rust