Reproduction Package (VM Version) for ICSE 2022 Article `Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR' - Beyer, Dirk (2022)