Next Steps in LLM-Supported Java Verification
Teuber, Samuel
1; Beckert, Bernhard
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Beckert, Bernhard
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 19.07.2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-83-315-1460-0 KITopen-ID: 1000184587 |
| Erschienen in | 2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE) |
| Veranstaltung | 1st IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering (2025), Ottawa, Kanada, 03.05.2025 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 1 – 4 |
| Nachgewiesen in | Scopus OpenAlex Dimensions |
| Relationen in KITopen |