形式化方法与应用专题前言

摘要：

计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功能也更加复杂,如何开发可靠的软、硬件系统,是计算机科学发展面临的巨大挑战.特别是现在计算机系统广泛应用于许多安全攸关系统中,如高速列车控制系统、航空航天控制系统、医疗设备控制系统等等,这些系统中的错误可能导致灾难性后果.

机标关键词：形式化方法

所属期刊栏目：32

分类号：TP311;TN915.04;U283

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

页数：共2页

页码：1579-1580