GALICIA Survey Report
Generative AI with Cybersecurity for Internet Applications development (GALICIA) – Survey The objective of GALICIA is to provide a platform for automated verification of LLM (Large Language Model) generated code against a set of test cases in automation, encompassing a large case study of industrial relevance in the telecom sector. To this end, GALICIA will assist […]
GALICIA Midterm Workshop
An Innovative Approach to Software Production and Verification March 04th, 2025 – University of Eastern Piedmont – Novara, Italy Last Tuesday, the Midterm Workshop of the GALICIA Project took place, organized in collaboration with AI@UPO at the University of Eastern Piedmont in Novara. The workshop highlighted the project’s innovative methodologies, including the integration of formal methods […]
GALICIA First Workshop
An Innovative Approach to Software Production and Verification March 04, 2025 – Università del Piemonte OrientaleVia Ettore Perrone, 18 – Novara, Italy GALICIA is pleased to announce its first workshop. This workshop aims to provide an engaging platform for discussing cutting-edge developments in software production and verification processes. The workshop will explore innovative methodologies such as […]