model checking problem; thoroughly; context;
机译:哪个间隔时间逻辑HS的碎片在模型检查中是易行的?
机译:模型检查间隔时间逻辑HS的片段在多项式时间层次结构的低级别
机译:基于轨道代表的Halpern和Shoham间隔时间逻辑片段的模型检查
机译:间隔时间逻辑模型检查:好的和坏的HS片段之间的边界
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:区间时态逻辑模型检验:好的和坏的Hs碎片之间的边界
机译:具有公平约束的petri网线性时态逻辑性质模型检验。