形式化方法与工具专刊前言  

Preface to special issue on formal methods and tools

作　　者：王戟[1] 李宣东[2,3] 

机构地区：[1]国防科学技术大学计算机学院并行与分布处理国防科技重点实验室,湖南长沙410073 [2]计算机软件新技术国家重点实验室(南京大学),江苏南京210093 [3]南京大学计算机科学与技术系,江苏南京210093

出　　处：《软件学报》2011年第6期1121-1122,共2页Journal of Software

摘　　要：形式化方法是指有严格数学基础的软件和系统开发方法，支持计算机系统及软件的规约、设计、验证与演化等活动．随着高可信软件的兴起，形式化方法作为重要的途径，关注度日益提高．其作用不仅深化了人们对计算系统规律的认识，而且支持了计算系统开发、运行和演化之工具、平台、环境的构建．本专刊收录的11篇论文反映了近年来我国学者在形式化方法与工具领域的部分研究成果.

关 键 词：形式化方法 工具 高可信软件 计算机系统 计算系统 数学基础 研究成果 开发 

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