to monitor the patient behavior, data are collected from patient’s body by a medical monitoring device so as to calculate the output using embedded software. incorrect calculations may endanger the patient’s life if the software fails to meet the patient’s requirements. accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collected from t...