Los métodos formales de especificación cuentan con una base matemática que permite disminuir inconsistencias, ambigüedades e incompletitudes en la etapa de especificación de requisitos de un software, evitando así el ...