特性模式相关论文
在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑......
模型检查是系统验证的有效方法，在验证过程中需要对系统待检验特性用时态逻辑公式进行刻画，然后在模型检查工具中进行检验。介绍计算......
