Model CheckerModel Checker - ein Programm, das ein Modell auf Fehler und Inkonsistenzen überprüft – ein Programm, das ein Modell auf Fehler und Inkonsistenzen überprüft
Model CheckerModel Checker - ein Programm, das ein Modell auf Fehler und Inkonsistenzen überprüft – ein Programm, das ein Modell auf Fehler und Inkonsistenzen überprüft