BIM-based model checking (BMC for short) offers the possibility of “checking the modeling quality of a BIM model based on rules for geometric collisions and other specific component properties. Using one or more IFC models, rooms, masses and quantities can be evaluated and collision and defect reports can be created. In addition to the functions for model analysis and quality control, BMC applications also have communication and coordination functions.” The results of the model check are usually communicated to the BIM authors via BCF.
The currently common software programs for rule-based model checking in Germany are Desite MD and Solibri Model Checker.
