VEMAS[Años: 2013-2015] Sistema en la nube para la verificación formal del Software y la medida de su calidad.