Technique finds software bugs in surgical robots and helps developers fix flaws, ensure safety
Monday, April 8, 2013 - 10:01
in Mathematics & Economics
Surgical robots could make some types of surgery safer and more effective, but proving that the software controlling these machines works as intended is problematic. Researchers have demonstrated that methods for reliably detecting software bugs and ultimately verifying software safety can be applied successfully to this breed of robot.