...
机译:通过一计数器自动机进行模型检查记忆线性时间逻辑
One-counter automaton; Temporal logic; First-order logic; Computational complexity;
机译:通过一计数器自动机进行模型检查记忆线性时间逻辑
机译:一台自动机上的模型检查固定冻结LTL
机译:牛顿法在单调多项式系统上的上界和概率一计数器自动机的P时间模型检验
机译:型号检查单反自动机的平面冻结LTL
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:通过一计数器自动机进行模型检查记忆线性时间逻辑
机译:模型检查是精细化:关于步比测试和线性时间时序逻辑