This paper proposes a framework for classification of Building Information Model (BIM) checking concepts . Alt hough BIM - based model checking (BMC) and similar ter m s are widely use d , there is ...