@misc{https://doi.org/10.4121/a7e780c9-87fa-486c-b484-a76a459a9d53.v2,
  doi = {10.4121/a7e780c9-87fa-486c-b484-a76a459a9d53.v2},
  url = {},
  author = {Tasche, Philip and Monti, Raúl E. and Drerup, Stefanie Eva and Blohm, Pauline and Herber, Paula and Huisman, Marieke},
  keywords = {deductive verification, embedded systems, parameterized systems, SystemC, VerCors},
  title = {[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {MPL 2.0},
}