Laboratoire d'Informatique Fondamentale de Marseille, CMI, 39, rue Joliot Curie, 13453 Marseille Cedex 13, France;
机译:带有部分订单快照的LTL的高效模型检查
机译:准布尔代数上LTL的有效多值有界模型检查
机译:准布尔代数上的LTL的高效多值有界模型检查
机译:使用部分订单快照的LTL有效的模型检查
机译:环境建模和有效的状态可达性检查。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:带有部分订单快照的LTL的高效模型检查