@misc{indiciaefaaf6b0080ab,
  title = {A New Interaction Concept for Interactive and Autoactive Program Verification},
  author = {Wolfram Pfeifer and Mattias Ulbrich and Daniel Drodt},
  year = {2026},
  url = {https://arxiv.org/abs/2605.06972},
  note = {Source identifier: 2605.06972}
}