Model-based Pre-clinical Trials for Medical Devices Using Statistical Model Checking

Haochen Yang, Jicheng Gu, Zhihao Jiang

Clinical trials are considered as the golden standard for medical device validation. However, many sacrifices have to be made during the design and conduction of the trials due to…