@misc{https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v1,
  doi = {10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v1},
  url = {},
  author = {Tasche, Philip and Herber, Paula and Huisman, Marieke},
  keywords = {deductive verification, invariant generation, embedded systems, SystemC, VerCors},
  title = {[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems},
  publisher = {4TU.ResearchData},
  year = {2024},
  copyright = {MPL 2.0},
}