Mathematical models for specifying and verifying concurrent object-oriented systems

用于指定和验证并发面向对象系统的数学模型

• 批准号: 25433-2010
• 负责人: Ostroff, Jonathan
• 金额: $ 1.46万
• 依托单位: York University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=508030
• 关键词: Mathematical; models; specifying; verifying; concurrent

A Chicago hospital recently lost its entire pharmacy database one night due to a software error, and it was only able to reconstruct medication records for its patients by collecting paper printouts from nurses' stations. Many such errors occur all the time which is why everyone who uses software or relies on devices or processes that use software has a natural interest in guarantees that programs will perform correctly and reliably.

芝加哥一家医院最近因为一个软件错误在一个晚上丢失了整个药房数据库，只能通过从护士站收集纸质打印件来重建病人的用药记录。许多这样的错误一直在发生，这就是为什么每个使用软件或依赖使用软件的设备或进程的人都对保证程序正确可靠地执行有天然的兴趣。