Model Checking

Verfahren zur automatischen, regelbasierten Verifikation eines Bauwerksmodells (BIM) gegen eine Spezifikation, wie z.B. Normen und Richtlinien, Kundenanforderungen.