Work on applying formal verification tools to the analysis of the safety and usability of medical devices.