BIM-based model checking (kurz BMC) bietet die Möglichkeit „die Modellierungsqualität eines BIM-Modells regelbasiert auf geometrische Kollisionen sowie weitere spezifische Bauteileigenschaften zu überprüfen. Anhand einer oder mehrere IFC-Modelle lassen sich Räume, Massen und Mengen auswerten sowie Kollisions- und Mängelberichte erstellen. Neben den Funktionen zur Modellanalyse und Qualitätsprüfung verfügen BMC-Applikationen zusätzlich über Kommunikations- und Koordinationsfunktionen.“ Die Ergebnisse der Modellprüfung werden in der Regel über BCF mit den BIM-Autoren kommuniziert.
Die derzeit gängigen Softwareprogramme zur regelbasierten Modellprüfung wären in Deutschland Desite MD und Solibri Model Checker.
