Verus: A Practical Foundation for Systems Verification

Open Webpage

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno

Published: 2024, Last Modified: 26 Jan 2026SOSP 2024EveryoneRevisionsBibTeXCC BY-SA 4.0