The paper "Deductive Verification of Parameterized Embedded Systems modeled in SystemC" by Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber and Marieke Huisman has been accepted at VMCAI 2024. The artifact has also been evaluated and granted the Available and Reusable badges.