论文部分内容阅读
形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软／硬件设计开发的各个阶段，是改善和确保计算机系统正确性和可靠性的重要途径．在领域需求的推动下，形式化方法技术和工具方面的研究取得了显著成效的同时，需要研究新的理论和方法来解决更复杂的计算机系统问题．本专刊重点关注“形式化方法的理论基础”，将收录国内外形式化方法的理论、模型、算法研究的高水平成果．