Published February 14, 2025 | Version v2
Software Open

Artifact for "Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration"

Creators

  • 1. ROR icon TU Wien
  • 2. ROR icon Brno University of Technology
  • 3. ROR icon Masaryk University

Description

Artifact accompanying the paper "Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration" for the ESOP 2025 artifact evaluation.

Changes in Version v2: Fixed wrong command in README, improved scripts to fail less and provide better error messages.

Files

Files (1.1 GB)

Name Size Download all
md5:68dd58898901ac2b3820eb4e1998b527
1.1 GB Download

Additional details

Funding

European Commission
LogiCS_at_TUWien - Logics for Computer Science Program at TU Wien 101034440
European Commission
VASSAL - Verification and Analysis for Safety and Security of Applications in Life 101160022
Czech Science Foundation
Advanced Analysis and Verification for Advanced Software GA23-06506S
Brno University of Technology
Reliable, Secure, and Efficient Computer Systems FIT-S-20-6427