GALICIA will test a novel approach to digital resilience verification by testing LLM generated code for correctness and security on a set of case studies, aiming to ensure compliance with user requirements and given standards. The ambition is to verify source code generated by Generative AI and analyze its limits, thus building trust in Generative AI. GALICIA aligns with the increasing demand for compliance in industrial automation and the need for fast and low cost software production.
Project duration: 9 months (from 5th September 2024)
Partners:
Novareckon srl (Italy)
Mind in a box Inc. (Canada)
