论文部分内容阅读
本文作者对基于CTR逻辑的控制流图形式化描述和验证方法进行了深入研究，完善了验证算法，加入了死锁检测功能，使该系统可以对包含死锁的控制流图进行三种验证演算，提高了实用性。
本文作者实现了该算法，得到一个准确高效的核心软件包。在实现时采用的面向对象方法使得该软件包具有良好的可移植性和安全性。