Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK. - Marcos Cramer; Lucian McIntyre (ICSOFT, 2025)