Created on August 03, 2024
2024
Our paper on using Verus for systems verification was accepted to SOSP 2024!