Modern healthcare systems benefit from the phenomenal advances that continue to be made in ICT. These advances have resulted in the development of several technologies that have become fundamental parts of electronic healthcare systems such as wireless body sensor networks (WBSNs). WBSNs integrate wearable and implanted devices with wireless communication and information processing systems to monitor the well-being of an individual. Testing and verification of WBSNs are of paramount importance as faults in these critical systems may lead to loss of life. In this paper, we propose a framework to verify the functionality of WBSN healthcare system using formal methods. We adopted a practical WBSN design, and provided a model for its behavior, then defined several properties for its correct operation, and finally we used theorem proving method to show that the proposed design correctly implements the required properties.