Several 1985-7 deaths of cancer patients were due to overdoses of radiation resulting from a race condition between concurrent tasks in the Therac-25 software. Errors in medical software have caused deaths. Details in . Boehm, "Software and its Impact: A Quantitative Assessment," Datamation,19(5), 48-59(1973). cần kinh nghiệm khiểm thử, một vài sự hiểu biệt về các pha phát triển của dự án co1 thể có ích, toán học có thể trợ giúp