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