Verification; Algorithms; Programming languages; Models; Reduction; Specifications; Time; Net unfoldings; Model checking; Petri nets; Foreign technology; LTL; Tableau systems;
机译:使用符号模型检查,高效地搜索监管网络的定性模型。
机译:使用LTL公式和展开的基于语义的高效一致性检查
机译:使用LTL公式和展开的基于语义的高效一致性检查
机译:LTL模型检查的新展开方法
机译:一种用于评估模型检查的内存使用权衡的图论方法。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:一种新的LTL模型检查展开方法
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证