En los sistemas de software sin fallas de la misión, donde el rendimiento crítico es absolutamente necesario, se pueden utilizar métodos formales para garantizar el funcionamiento correcto de un sistema.
En los sistemas de software libres de misión donde el rendimiento crítico es absolutamente necesario, se pueden utilizar métodos formales para garantizar el funcionamiento correcto de un sistema.