Dans les systèmes logiciels sans faille, où des performances critiques sont absolument nécessaires, des méthodes formelles peuvent être utilisées pour assurer 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.