软件形式化方法与应用专题前言
来源：软件学报杂志2016年第3期北京时间：
作者：詹乃军,王戟,李宣东
单位：詹乃军，计算机科学国家重点实验室(中国科学院软件研究所), 北京 10019011,王戟，国防科学技术大学计算机学院, 湖南 长沙 41007302,李宣东，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002303
摘要：形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专刊收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.
关键词：
