Model checking is one of the core methodologies of Building Information Modelling (BIM). It allows us to quickly evaluate models based on custom criteria. While there are known examples of the integration of model checking into the course content of design studios, there is no literature on utilizing this methodology to help in the grading process of BIM software courses. This paper presents a project that applies model checking to the task of rating the learning success of students in such a course. The main project goals were increasing the objectivity of the ratings and reducing the time necessary to process a large number of submitted models. The paper describes a possible approach to categorizing and organizing model checks in an educational context and outlines a proven and tested workflow for automating the rating and feedback process.

Barison, MB and Santos, ET (2010) BIM Teaching Strategies: An Overview of the Current Approaches
, Proceedings of the International Conference on Computing in Civil and Building Engineering (ICCCBE) 2010, Nottingham, UK, pp. 577-583