机译:带有部分订单减少的可执行LTL模型检查器的形式验证
Tech Univ Munich, Munich, Germany;
Tech Univ Munich, Munich, Germany;
Formal verification; Model checking; Partial order reduction;
机译:使用有限状态模型检查器对状态图进行形式验证
机译:使用可执行C模型对分布式系统进行形式验证
机译:使用部分降阶为B优化ProB模型检查器
机译:带有部分订单减少的可执行LTL模型检查器的形式验证
机译:使用SPIN模型检查器对速度控制策略进行形式验证
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:完全验证的可执行ltl模型检查器
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证