Este documento se organiza de la siguiente manera:
• En el capitulo 1 se describe la problemática en la que se inserta el tema propuesto, se realiza una breve descripción del contexto de la investigación, objetivos y motivaciones.
• Los…

Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo…