TY  - RPRT
TI  - Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
AU  - Florian Sextl
AU  - Adam Rogalewicz
AU  - Tomáš Vojnar
AU  - Florian Zuleger
PY  - 2025
UR  - https://arxiv.org/abs/2307.06346
ID  - 2307.06346
ER  -