@misc{indiciae952aa470591a,
  title = {Structural Abstraction and Selective Refinement for Formal Verification},
  author = {Christoph Luckeneder and Ralph Hoch and Hermann Kaindl},
  year = {2025},
  url = {https://arxiv.org/abs/2505.22982},
  note = {Source identifier: 2505.22982}
}