As BIM usage evolves, so do reasons for model checking. Especially the latter steps of digitising and early steps of digitalisation form a threshold for BIM adoption. This is due to the need to overcome both cultural and technological complexities in construction projects. It is necessary to connect a multitude of software systems. Professionals from multiple disciplines need to co-create coherent digital twins. And contractually obliged companies need trustworthy business propositions.

To grow beyond this struggle, model checking must lower the threshold for transition. It needs to reduce the biggest risks, establish common languages, help people to express what they expect from one another. There is more than one reason to engage with model checking. How are these reasons related?