论文部分内容阅读
在计算树逻辑（CTL）中引入过去时态算子，得到了表达力更强的属性规约语言CTLP，给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型检测过程能够实现，从而有效克服了模型检测中的状态爆炸问题。
具有过去时态算子的计算树逻辑模型检测
【摘 要】
：
在计算树逻辑（CTL）中引入过去时态算子，得到了表达力更强的属性规约语言CTLP，给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型
【机 构】
：
江苏大学计算机科学与通信工程学院
【出 处】
：
计算机工程
【发表日期】
：
2007年22期
【基金项目】
：
国家自然科学基金资助项目（60573046）
其他文献
近年来，江门市财政局着力完善政府采购平台建设，加强政府采购监管管理，规范政府采购行为，提高政府采购质量和效率，更好地发挥政府采购基本功能和政策功能。
联合体参与PPP＋EPC项目’实践中出现了牵头人承担全部出资义务和大部分施工工作，其它联合体成员仅承担部分专业施工工作的分工模式，因此，需要判断未出资联合体成员获得施工权的合
招标投标活动是工程建设中不可或缺的重要组成部分，而中标公示又是其中的一个重要环节，公示内容规范与否将直接影响招标结果的确认，并对后期项目建设的顺利实施及促进投标诚信等