The evolution of neutral and interoperational data formats have led to the widespread interest in model checking. Often confused with clash detection, model checking is a multifaceted process that goes beyond just identifying interferences in the design. As BIM standards continue to evolve, professionals in the industry are struggling to keep up with the multiple guidelines, principles, and options available. This confusion has led to a need for solutions that simplify the process of model checking for all stakeholders.
The aim of this session is to bring together leading professionals and experts in the field of model checking to facilitate an in-depth exploration and discussion of the latest developments, challenges, and best practices. Through interactive presentations, hands-on exercises, and thought-provoking discussions, attendees will gain a deeper understanding of the principles and techniques of model checking and leave equipped with the knowledge and skills necessary to bridge any gaps in their own practices.