Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version). - Marcos Grandury; Aleksandar Nanevski; Alexander Gryzlov (CoRR, 2025)