The urgent need to achieve net-zero carbon emissions by 2050 has led to a growing focus on innovative approaches to producing, storing, and consuming energy. Integrated energy systems (IES) have emerged as a promising solution, capitalising on synergies between energy networks and enhancing efficiency. Such a holistic approach enables the integration of renewable energy sources and flexibility provision from one energy network to another, reducing emissions while facilitating strategies for operational optimisation of energy systems. However, emphasis has been mostly made on steady-state methodologies, with a dynamic verification of the optimal solutions not given sufficient attention. To contribute towards bridging this research gap, a methodology to verify the outcomes of an optimisation algorithm is presented in this paper. The methodology has been applied to assess the operation of a civic building in the UK dedicated to health services. This has been done making use of real energy demand data. Optimisation is aimed at improving power dispatch of the energy system by minimising operational costs and carbon emissions. To quantify potential discrepancies in power flows and operational costs obtained from the optimisation, a dynamic model of the IES that better captures real-world system operation is employed. By incorporating slow transients of thermal systems, control loops, and non-linearity of components in the dynamic model, often overlooked in traditional optimisation modules, the methodology provides a more accurate assessment of energy consumption and operational costs. The effectiveness of the methodology is assessed through model-in-the-loop co-simulations between MATLAB/Simulink and Apros alongside a series of scenarios. Results indicate significant discrepancies in power flows and operational costs between the optimisation and the dynamic model. These findings illustrate potential limitations of conventional operational optimisation modules in addressing real-world complexities, emphasising the significance of dynamic verification methods for informed energy management and decision-planning.