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

Preface

作　　者：曹钦翔 宋富 詹乃军[2] CAO Qin-Xiang;SONG Fu;ZHAN Nai-Jun

机构地区：[1]上海交通大学电子信息与电气工程学院,上海200240 [2]中国科学院软件研究所,北京100190

出　　处：《软件学报》2024年第9期4011-4012,共2页Journal of Software

摘　　要：随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、定理证明等多种技术手段.近年来,利用形式化方法解决软件可靠性与安全性问题已经获得了越来越广泛的应用.

关 键 词：形式化方法 软件系统 模型检验 运算速度 定理证明 体系结构 应用专题 理论与方法论 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]