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