软件形式化方法与应用专题前言

作者：詹乃军 王戟 李宣东形式化方法高阶逻辑应用专题定理证明器程序理论数学方法研究成果代数的计算机科学保障系统

摘要：形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社