In missionssicheren Softwaresystemen, in denen eine kritische Leistung unbedingt erforderlich ist, können formale Methoden verwendet 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.