论文部分内容阅读
形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径.在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题,这些理论和方法包括新模型下形式化验证的可判定性及复杂性结论、算法实现以及面向领域形式化方法.