Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Jenna DiVincenzo

Software-Entwicklung Können grosse Sprachmodelle bei der Softwareverifikation helfen?

Untersuchen der Rolle von LLMs bei der Generierung von Softwarespezifikationen zur Verifizierung.

2025-05-31T13:58:30+00:00 ― 6 min Lesedauer

Logik in der Informatik Überbrückung von Verifizierungsmethoden in der Programmierung

Ein neuer Ansatz zur Codeüberprüfung, der starke Techniken kombiniert.

2025-05-01T23:06:40+00:00 ― 7 min Lesedauer