ABSTRACT
In both research and industrial reports, one of the major challenges for Building Information Modelling and checking that remains is of a socio-cultural nature, for example, with cultural resistance. While this has remained one of the main challenges for years, this article aims to investigate how contemporary model checking research approaches this challenge. Therefore, the article contains a structured literature review to map out methodical approaches and the use of empirical data from the industry practices to highlight how the research domain interacts with the problems situated in the practices. The study presents a review of 71 papers that shows the limited use of data from practice and a clear methodical trend of using artefact development with limited evaluation of empirical data from practice. These findings indicate a gap in the research domain of representing practice in model checking research.
