论文部分内容阅读
一种相关的新方法，概要的说，是一种完全不需要任何测试和运行的全自动动态软件检查程序。Triconex(提供产品、系统、安全服务、临界控制和涡轮机应用软件的Invensys下属子公司)把抽象判读应用于它的Trident系统中，这些系统应用于精炼厂、石油、化工工厂的临界安全系统的连续控制以及其它工业生产过程。