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