Sound Verification Techniques for Developing High-Integrity Medical Device Software by MathWorks&FDA
Embedded software in medical devices is increasing in content and complexity. Traditional software
verification and testing methods may not provide the optimum solution. This paper discusses the
application of sound verification techniques in the development of high integrity medical device software.
