VEMAS
AvanGroup participa en el proyecto VEMAS. VEMAS es un Sistema instalado “en la nube” para la verificación formal del Software y la medida de su calidad, desde los Compiladores e Intérpretes que ejecutan el código hasta las aplicaciones. Expediente: TSI-100201-2013-10 Objetivos El objetivo del proyecto es el desarrollo de un sistema “en la nube” de verificación […]