Modellverifikation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Prozess zur Überprüfung, dass eine rechnerische Implementierung das vorgesehene mathematische Modell korrekt und fehlerfrei löst, ohne Programmierfehler, numerische Fehler oder algorithmische Inkonsistenzen.