https://ariskoutsou.github.io/blog/developing-a-verification-tool-based-on-separation-logic/ 2026-05-05T00:00:00+00:00 https://ariskoutsou.github.io/ https://ariskoutsou.github.io/files/slides-concur24.pdf 2026-05-05T12:31:31+00:00