创新形式化方法研究保障计算机系统安全——上海交通大学符鸿飞特别副研究员

摘要：

理论计算机科学中的形式化方法是利用数学和逻辑的方法证明计算机系统正确性的研究领域.计算机系统的正确性在安全或任务关键系统中是一个核心课题.由于潜在的漏洞可能导致重大的人生或财产损失,如何保证关键系统不出现重大漏洞是一个极为重要的任务.作为理论计算机科学的一个重要分支,形式化方法为关键系统组件正确性的自动化推理和证明提供了坚实的基础,因此能够为系统是否满足一些关键的正确性性质作出最强的保证.

在线出版日期：2018-10-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：3-4