@misc{indiciae41f57137b8f3,
  title = {A Modular Program-Transformation Framework for Reducing Specifications to Reachability},
  author = {Dirk Beyer and Marek Jankola and Marian Lingsch-Rosenfeld and Tian Xia and Xiyue Zheng},
  year = {2025},
  url = {https://arxiv.org/abs/2501.16310},
  note = {Source identifier: 2501.16310}
}