Automatische Generierung formaler Programm-Spezifikationen mithilfe von Large Language Models
Durch den Einsatz von Large Language Models können präzise und umfassende Programm-Spezifikationen automatisch generiert werden, um die Komplexität realer Programme besser zu erfassen.
