Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. - Philip Tasche; Raúl E. Monti; Stefanie Eva Drerup; Pauline Blohm; Paula Herber; Marieke Huisman (VMCAI (2), 2024)