Computer Science Department, University 'Politehnica' of Bucharest, Romania;
formal verification; model checking; boolean satisfiability (SAT); binary decision diagrams (BDDs); reachability analysis;
机译:通过基于BDD的近似遍历改进基于SAT的边界模型检查
机译:通过基于BDD的近似遍历改进基于SAT的边界模型检查
机译:功能安全验证中基于SAT的故障等效检查
机译:基于SAT和BDD的功能验证的策略
机译:基于SAT的形式验证的策略。
机译:在实验室规模上验证基于模型的细胞培养种子序列布局策略
机译:通过基于BDD的方法改进基于SAT的边界模型检查