Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
Korrektheit
Glossar:4214
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
Die (formale) Korrektheit eines Modells bezüglich seiner (formalen) Spezifikation bedeutet, dass das Modell alle in der Spezifikation festgelegten (formalen) Eigenschaften erfüllt.

Die Korrektheit eines Modells bezüglich einer Spezifikation kann man beispielsweise mit Methoden zur formalen Verifikation nachweisen.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018