Technique finds software bugs in surgical robots

Surgical robots could make some types of surgery safer and more effective, but proving that thesoftware controlling these machines works as intended is …