机译:用于传送并发程序的LTL模型检查
EPITA LRDE 14-16 Rue Voltaire F-94270 Le Kremlin Bicetre France;
CNRS LIPN 99 Ave Jean Baptiste Clement F-93430 Villetaneuse France;
Model-checking; Pushdown systems; Linear-time temporal logic (LTL); Concurrent programs; Stutter-invariant;
机译:用于传送并发程序的LTL模型检查
机译:细化结构启发式方法,以通过数据挖掘对并发程序进行模型检查
机译:最大因果减少的无状态模型检查并发程序
机译:用于传输并发程序的LTL模型检查
机译:使用程序变异进行故障检测技术的经验评估:并发测试和模型检查的比较
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:用于传送并发程序的LTL模型检查