Technique Finds Software Bugs in Surgical Robots And Helps Developers Fix Flaws, Ensure Safety Researchers at Carnegie Mellon and Johns Hopkins Develop Verification Method [1]