《软件学报》软件形式化方法与应用专刊征文通知

摘要

形式化方法起步于对程序理论和语义的研究，历经50多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径．