面向对象程序设计语言EIFFEL的程序正确性验证工具

本文简单介绍了国家八五科研重点攻关项目＜＜实用自动工具集的开发＞＞的专题＜＜自动验证工具＞＞的理论基础和开发成果。