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.