@misc{indiciae949342e073bf,
  title = {End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation},
  author = {Jinhua Wu and Yuting Wang and Liukun Yu and Linglong Meng},
  year = {2025},
  url = {https://arxiv.org/abs/2510.10015},
  note = {Source identifier: 2510.10015}
}