3 ms·
See the related work section in the SOSP 2024 paper. I think verification speed is one of the main benefits of verus. https://www.andrew.cmu.edu/user/bparno/pa
by meling 1y ago
See the related work section in the SOSP 2024 paper. I think verification speed is one of the main benefits of verus.
https://www.andrew.cmu.edu/user/bparno/papers/verus-sys.pdf https://www.andrew.cmu.edu/user/bparno/papers/verus-sys.pdf