形式化方法的发展及展望

形式化方法的研究和应用已有近川年的历史了,其产生是D伽tra和HOars在程序验证方面的工作和＆。ti,stratchey以及其他学者在程序语义方面的工作基础上发展起来的,从最简单的形式化方法,即用一阶逻辑和等式组成的规范语言,至80