Abstract: The correct and consistent model is the foundation of the application of BIM technology. This paper introduces the basic situation of model checking, brief descriped the basic content and method of the Architecture model checking and structure model checking. Mainly take advantage of the Solibri company of Finland, a software of model checking named Solibri Model Checker (SMC) to finish the work. Inspection method and process of the quality of BIM model has been carried on the preliminary inquiry.