Riyaz, JaneesJaneesRiyazEmara, MernaMernaEmara2024-10-212024-10-212024-09-1835. Forum Bauinformatik, fbi 2024: 220-227https://hdl.handle.net/11420/49660Within the Architecture, Engineering and Construction (AEC) sector, collaboration among diverse stakeholders is essential for successful construction projects. The industry is witnessing a digital transformation, characterised by the emerging advancements in technology, ensuring cooperation across the project lifecycle. This study aims to reinforce models against deviations from construction standards, focusing on energy efficiency. To achieve this, model checking methodologies are considered, involving a comprehensive examination of prevailing industry standards and regulations for buildings which ultimately results in the formulation of custom rulesets for Solibri Model Checker. The research is verified through a case study which involves enhancement of the BIM model and checking against various rulesets for verifying energy properties of windows in Solibri. Through precise verification process, the efficacy of the developed model-checking framework is assessed.This undertaking streamlines project execution, mitigates risks, and enhances compliance with energy efficiency imperatives. This contributes to refining model technologies in the AEC domain and catalyses advancements towards more sustainable and efficient construction practices.enhttps://creativecommons.org/licenses/by/4.0/Building Information Modelling (BIM)custom rulesetsenergy efficiencymodel checkingsustainable designArts::720: ArchitectureTechnology::621: Applied Physics::621.3: Electrical Engineering, Electronic EngineeringConference Paper10.15480/882.1355210.15480/882.13552Conference Paper