区间时序逻辑相关论文
区间逻辑在许多领域如人工智能、形式化方法中都有成功应用.其中,区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视.由于......
DC/P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具.它采用Gentzen风格相继式演算作为基本证明系统,并结合项......
介绍了区间时序逻辑ITL的语法、语义和公理系统以及通用的辅助定理证明工具PVS,研究了嵌入ITL到PVS的原理,给出了描述ITL的PVS模块......
为了描述混合系统的性质和行为，10多年来，各种时序逻辑，如Hybrid Temporal Logic等相继出现。这些时序逻辑适用于刻画混合系统的性质......
针对集中式体系结构并发工作流的两种运行方式（活动并发执行和活动以任意顺序执行），对区间时序逻辑进行扩展，提出两个新操作符“交错”......
通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动......
提出一种区间分支时序逻辑——控制流区间时序逻辑（control flow interval temporal logic,CFITL）,用于规约程序的时序属性.不同于计......
区间逻辑在许多领域如人工智能，形式化方法中都有成功应用。其中，区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视，由于区间......
针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定......
针对UCON未涉及特权委托的基本特征和权限管理的缺陷，提出了基于属性RBAC的带委托性质的使用控制模型（EUCON）．将角色、委托和扩展属性......
研究了初始化的多速率混合系统的模型检查问题，即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质．首先定义了......
