Dans les systèmes logiciels critiques, où des performances sans faille sont absolument nécessaires, des méthodes formelles peuvent être utilisées pour garantir le bon fonctionnement d'un système.
Dans les systèmes logiciels sans mission où les performances critiques sont absolument nécessaires, des méthodes formelles peuvent être utilisées pour assurer le bon fonctionnement d'un système.