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

来源：软件学报杂志2017年第5期北京时间：

作者：董威,赵建华,吕鸣松

单位：董威，国防科学技术大学 计算机学院, 湖南 长沙 41007311,赵建华，南京大学 计算机科学与技术系, 江苏 南京 21002302,吕鸣松，东北大学 计算机科学与工程学院, 辽宁 沈阳 11081903

摘要：形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效. 本专刊主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入到评审阶段.每篇稿件经过2位专家的评审,有16篇进入到复审阶段并在第一届全国形式化方法与应用会议（FMAC 2016）上宣读,最后有13篇文章通过终审被收录到本专刊.

关键词：