Análisis de especificaciones Z. Análisis La idea es verificar propiedades a partir de la especificación o descubrir que propiedades que se creían válidas.
