Technique finds software bugs in surgical robots and helps developers fix flaws 17 April 2013 Researchers have demonstrated that methods for reliably detecting software bugs and ultimately verifying software safety... read more