Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Next Steps in LLM-Supported Java Verification

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Samuel Teuber und Bernhard Beckert
In:2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)
Nummer:
Band:
Jahr:2025
Seiten:1-4
DOI:10.1109/NSE66660.2025.00007

BibTeX

@INPROCEEDINGS{TeuberNSE2025,
  author={Teuber, Samuel and Beckert, Bernhard},
  booktitle={2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)}, 
  title={Next Steps in LLM-Supported Java Verification}, 
  year={2025},
  volume={},
  number={},
  pages={1-4},
  doi={10.1109/NSE66660.2025.00007}
}