Model checking; Formal verification; Abstraction; Refinement; Parallel algorithm;
机译:模型检查中的反例-调查德比|信息学
机译:基于启发式PSO算法的随机模型检查反例生成
机译:基于SAT的模型检查的反导插值生成算法
机译:在抽象模型检查中有效检测虚假的反例
机译:环境建模和有效的状态可达性检查。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:在抽象模型检查中有效地检测虚假反例✩
机译:在符号模型检验中有效生成反例和证人