Los metodos formales surgieron como puntos de vista analiticos con los que es posible verificar el desarrollo de sistemas mediante la logica y las matematicas, lo que aporta grandes ventajas para mejorar la calidad de los programas y por tanto la Ingenieria de Software . En este campo del conocimiento, la especificacion formal es una de las mas importantes fases del ciclo de vida, labor que requiere mucho cuidado ya que su funcion es garantizar que tanto el funcionamiento como el desempeno del programa sean correctos, bajo cualquier situacion. En el futuro, los metodos formales deberian estar presentes como principios esenciales en el desarrollo de software , ya que se convierten en la base para aplicar las tecnicas de prueba y, dado su principio matematico, en potencialmente automatizables.