@misc{nezamabadi2025verifiedvcgverifiedcompiler,
      title={Verified VCG and Verified Compiler for Dafny}, 
      author={Daniel Nezamabadi and Magnus O. Myreen and Yong Kiam Tan},
      year={2025},
      eprint={2512.05262},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      doi={https://doi.org/10.1145/3779031.3779092},
      url={https://arxiv.org/abs/2512.05262}, 
}