[meling]

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