@misc{https://doi.org/10.4121/a5f97e07-9f84-4223-b581-6d2606fe07ba.v1,
  doi = {10.4121/a5f97e07-9f84-4223-b581-6d2606fe07ba.v1},
  url = {},
  author = {Armborst, Lukas and Bos, Pieter and van den Haak, Lars and Huisman, Marieke and Rubbens, Robert and Şakar, Ömer and Tasche, Philip},
  keywords = {Deductive Verification, VerCors, VCLLVM, Alpinist, VeSUV, VeyMont},
  title = {Artifact to supplement the paper: The VerCors Verifier: a Progress Report},
  publisher = {4TU.ResearchData},
  year = {2024},
  copyright = {MPL 2.0},
}