En els sistemes informàtics sense defectes de missió, on el rendiment crític és absolutament necessari, es poden utilitzar mètodes formals per garantir el correcte funcionament d'un sistema.
En sistemes de programari lliure de missions on el rendiment crític és absolutament necessari, mètodes formals es poden utilitzar per assegurar el correcte funcionament d'un sistema.