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: 01 Jan 2024, Last Modified: 25 Jul 2025SOSP 2024EveryoneRevisionsBibTeXCC BY-SA 4.0