TY  - RPRT
TI  - A Modular Program-Transformation Framework for Reducing Specifications to Reachability
AU  - Dirk Beyer
AU  - Marek Jankola
AU  - Marian Lingsch-Rosenfeld
AU  - Tian Xia
AU  - Xiyue Zheng
PY  - 2025
UR  - https://arxiv.org/abs/2501.16310
ID  - 2501.16310
ER  -