Verus: Verifying rust programs using linear ghost types A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023 | 18 | 2023 |
Verus: Verifying Rust Programs using Linear Ghost Types (extended version) A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... arXiv preprint arXiv:2303.05491, 2023 | 1 | 2023 |