TY  - RPRT
TI  - Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
AU  - Marcos Grandury
AU  - Aleksandar Nanevski
AU  - Alexander Gryzlov
PY  - 2025
DO  - 10.1145/3747510
UR  - https://arxiv.org/abs/2501.13603
ID  - 2501.13603
ER  -