In unternehmenskritischen Softwaresystemen, in denen eine einwandfreie Leistung absolut erforderlich ist, können formale Methoden eingesetzt werden, um den korrekten Betrieb eines Systems sicherzustellen.
In missionsfreien Softwaresystemen, in denen eine kritische Leistung unbedingt erforderlich ist, können formale Methoden verwendet werden, um den korrekten Betrieb eines Systems sicherzustellen.