Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, P.O.Box 8718, 100080 Beijing, China;
机译:稳定模型的有界LTL模型检查
机译:LTL可满足性检查的显式过渡系统构建方法
机译:LTL模型检查寄存器推动系统
机译:一种改进的基于案例的LTL模型检查方法
机译:使用FormalCheck的实用模型检查方法。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:改进LTL模型检查到SAT的编码
机译:LTL模型检查的新展开方法。