Formal Modeling and Verification of Healthcare Systems Requirements Based on Simulation and Hoare Logic

Abstract

This paper proposes a new approach to formal modeling and verification of healthcare systems based on simulation and using Hoare Logic, with a focus on the dental department of an Algerian hospital. We have proposed inference rules inspired by Hoare Logic, adapted for the formal specification and verification of healthcare systems. The methodology includes the creation of a conceptual model incorporating these rules, followed by the simulation of this model to analyze and improve healthcare system performance. The obtained results of our case study show that the proposed approach allows healthcare professionals to identify inefficiencies, optimize resource utilization, reduce patient waiting times, and ensure the reliability of healthcare systems. This research paper demonstrates the effectiveness of integrating Hoare Logic inference rules into simulation processes to improve healthcare systems performance and support healthcare professionals' decision-making.