Dirk Beyer, Marian Lingsch Rosenfeld: Reproduction Package for the CAV 2026 submission: "SvLibChecker: A Light-Weight Tool for Software Model Checking". Zenodo 2026