《软件学报》形式化验证专刊
征文通知

形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上，对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法能指导软硬件系统的规约、设计和验证，是改善和确保计算系统质量的重要方法。历史上，形式化方法在硬件和协议验证取得巨大成功。近年来，随着相关技术的发展，形式化方法已经在越来越多的软件系统中得到应用，并取得显著成效。

本专刊主要关注“形式化验证”，将收录国内外在形式化验证理论、方法、工具和应用等方面的高水平研究成果。专刊将与中国计算机学会形式化方法专业委员会合作，收录的论文不仅要通过正常评审程序，而且要求在形式化方法专业委员会年度会议FMAC 2018上报告，最终将在2019年《软件学报》第7期出版。

专刊题目：形式化验证
特约编辑：贺飞(清华大学)、张立军(中科院软件所)
出版时间：2019年第7期

一、征文范围
征文范围包括但不限于以下主题：
1）形式化验证的理论基础
2）形式模型、语义与推理
3）SAT/SMT求解器
4）形式化规约、设计与代码生成
5）软件形式化分析与验证
6）软件演化的形式化基础与支撑技术
7）形式化验证工具、应用及评估
8）形式化方法在新型软件、机器学习和交叉领域的扩展与应用

二、投稿要求
1. 投稿方式：采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时稿件类型请选择"专刊投稿"，同时在中文标题后面加上括号，在括号内注明专刊名称，即：(软件形式化验证专刊)字样。
2. 稿件格式：参照《软件学报》论文格式(网站上提供了论文模版，可下载)。
3. 投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
4. 其他事项请参阅投稿指南
http://www.jos.org.cn/ch/reader/view_fixed_content.aspx?id=instructions  
5. 投稿作者需提交投稿声明；专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后，将按软件学报标准支付稿酬，并赠送样刊。
6. 通过阶段评审的论文需要在中国计算机学会形式化方法专业委员会年度会议FMAC 2018上报告，根据论文修改情况和会议报告情况终审确定是否录用。

三、重要时间
截稿日期：2018年7月15日
第一轮评审意见发出日期：2018年9月5日
第一轮修改稿提交日期：2018年9月21日
第二轮评审意见和报告邀请发出日期：2018年10月25日
形式化方法专委会报告日期：2018年11月3-4日
第二轮修改稿提交日期：2018年11月20日
终审结果发出日期：2018年11月25日
最终稿提交日期：2018年11月30日
出版日期：2019年第7期

软件学报编辑部
2018年1月8日