TY  - RPRT
TI  - VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
AU  - Bart Jacobs
PY  - 2025
UR  - https://arxiv.org/abs/2505.04500
ID  - 2505.04500
ER  -