Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A New Interaction Concept for Interactive and Autoactive Program Verification

Miscellaneous
Author(s):Wolfram Pfeifer, Mattias Ulbrich, and Daniel Drodt
Year:2026
URL:https://arxiv.org/abs/2605.06972

Note

To appear at FTfJP 2026

BibTeX

@misc{PfeiferUlbrichDrodt2026,
      title={A New Interaction Concept for Interactive and Autoactive Program Verification}, 
      author={Wolfram Pfeifer and Mattias Ulbrich and Daniel Drodt},
      year={2026},
      eprint={2605.06972},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2605.06972}, 
      note="To appear at FTfJP 2026"
}