Recent Posts by hao
VHM SimulinkRead more
Pacemaker Verification UPPAALRead more
The design and implementation of software for medical devices is challenging due to their rapidly increasing functionality and the tight coupling of computation, control, and communication. The safety-critical nature and the lack of existing industry standards for verification, make this an ideal domain for exploring applications of formal modeling and analysis. In this study, we…Read more
Recent Comments by hao
No comments by hao yet.