Sound One-Phase Shape Analysis with Biabduction. - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (CoRR, 2023)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (ESOP (2), 2025)

Artifact for "Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration". - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (Zenodo, 2025)

Artifact for "Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration". - Florian Sextl; Adam Rogalewicz; Tomás Vojnar; Florian Zuleger (Zenodo, 2025)