Lecture 1.4.4B | Formal Methods & IEC 62304 | Masters in Medical Robotics
0:00 · Watch on YouTube
This lecture maps three ways to make safety-critical software trustworthy: model checking that exhausts concurrent schedules, the IEC 62304 lifecycle whose rigor scales with patient harm, and defensive code that stays...