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

Next Steps in LLM-Supported Java Verification

Reviewed Paper In Proceedings
Author(s):Samuel Teuber and Bernhard Beckert
In:2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)
Number:
Volume:
Year:2025
Pages: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}
}