Progetto GALICIA: ospitato il Midterm Workshop a Novara
GALICIA si propone di fornire una piattaforma per la verifica del codice su una serie di casi di test nell'automazione, basata sulla tecnologia Azure. Il progetto prevede una verifica in due fasi: la generazione di codice sorgente a partire da requisiti funzionali in linguaggio naturale e la verifica della conformità di un modello formale del codice generato con le specifiche di sicurezza degli utenti.
Argomento Scienza e Ricerca
Data di pubblicazione 07 Marzo 2025