En los sistemas de software de misión crítica, donde el rendimiento impecable 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.