SynVer: Innovación en Verificación Automatizada de Programas C con LLM

La herramienta utiliza Modelos de Lenguaje Grande para optimizar la síntesis y verificación de programas en C, mejorando la eficiencia de la verificación automática.