Entwicklung eines Schätzverfahrens zur Bestimmung robuste...
Die Korrektheit eines Programms kann nur sehr selten absolut gewährleistet werden. Man muss sich also auf Tests beschränken, die auch so angelegt sind, dass mit großer Wahrscheinlichkeit die Korrektheit des Programms garantiert werden kann. Darüber hinaus kann nur in Spezialfällen genau gesagt werden, welche Werte die Korrekten sind. So kommt man also einerseits nicht umhin Tests durchzuführen und andererseits ein ...
