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.
No comments:
Post a Comment