# BIM-Based Model Checking: A Scientometric Analysis and Critical Review
## 4 Critical Review
### Application Cases of Platforms and Projects
#### 4.4.1 Solibri Model Checker (SMC)  
The most widely cited system is the Solibri Model Checker (SMC), a Java-based application supporting the open format IFC [9]. SMC has multiple built-in rule templates, allowing users to define parameterized rules for checking the architectural designs. In some articles [36; 38], SMC has been successfully used to verify the rules related to the spatial and system characteristics within the specific regions. The advantages of SMC include the ability to interpret IFC entities, comprehensive sets of spatial operations, and high maturities and popularities [142]. However, due to its hardcoded nature, custom extensions in SMC are currently limited to the rules provided by the software provider. Adding entirely new rules requires development permission through the Application Programming Interface (API). Additionally, the rule validation process in SMC is not fully accessible, resulting in a lack of transparency and credibility. \begin{table}
\begin{tabular}{p{113.8 pt} p{113.8 pt} p{113.8 pt} p{113.8 pt} p{113.8 pt}} \hline \hline
**Name** & **Application Scope** & **Key Function** & **Citation** & **Provider and Link** \\ \hline Solibri Model Checker (software) & Building and infrastructure, particularly for quality control, clash detection, and regulatory compliance & BIM model check & 64 & Solibri.com (accessed on 1 January 2024) \\ \hline CORENET (platform) & Projects in Singapore, particularly during the model submission and approval stages & E-submission and regulatory compliance checking & 55 & Singapore Government (Sengapore) \\ \hline SMARTcodes (platform) & Projects in the United States, particularly during the initial design phase & Regulatory and standards compliance checking & 32 & International Code Council (Miami, FL, USA) iccsafe.org (accessed on 1 January 2024) \\ \hline Express Data Manager (software) & Data management and validation of building, infrastructure, and industrial facility & Data interoperability solutions & 28 & JOTNE CONNECT (Oslo, Norway) jotneconnect.com/products/express-data-manager (accessed on 1 January 2024) \\ \hline FORNAX (software) & Complex multidisciplinary  collaborative projects & BIM data validation & 21 & novaCITYNETS (Singapore) fornaxcloud.com (accessed on 1 January 2024) \\ \hline KBIM (software) & Large-scale projects that need complex rule sets and standards validation & Design quality review for IFC models & 17 & Cospec Innolab (Seoul, Republic of Korea) inno-lab.co.kr/Home (accessed on 1 January 2024) \\ \hline Design Checker (software) & Projects that require multiple design iterations, such as residential buildings and commercial buildings & Design elements validation & 11 & Solidworks (Waltham, MA, USA) solidworks.com (accessed on 1 January 2024) \\ \hline Model Checker (software) & Building, infrastructure, and industrial projects during the design and construction stages & Revit model check & 6 & Autodesk (San Francisco, CA, USA) interoperability.autodesk.com/modelchecker.php (accessed on 1 January 2024) \\ \hline Navisworks (software) & Transportation infrastructure, large building complexes, and industrial facilities & 3D model review, co-ordination, and clash detection & 5 & Autodesk (San Francisco, CA, USA) autodesk.com.cn/products/navisworks/ overview (accessed on 1 January 2024) \\ \hline Statsbygg (platform) & Government-funded building and infrastructure projects in Norway & BIM delivery requirement verification & 5 & Statsbygg (Oslo, Norway) statsbygg.no/bim (accessed on 1 January 2024) \\ \hline \hline \end{tabular}
\end{table} 
Table 6: The popular applications for BMC process. guidelines. Its users cover over 2500 companies, including professional firms, service providers, and government agencies, such as Revit, Archicad, and Bentley. The CORENET platform provides significant control to the governmental authorities and benefits multiple stakeholders.