LSV, ENS de Cachan CNRS, INRIA 61 avenue du President Wilson, 94230 Cachan, France;
LSV, ENS de Cachan CNRS, INRIA 61 avenue du President Wilson, 94230 Cachan, France;
机译:功能安全验证中基于SAT的故障等效检查
机译:基于SAT的移动众包网络多线程程序验证方法。
机译:ACTL公式的线性模板及其在基于SAT的验证中的应用
机译:建设和基于SAT基于语境展开的验证
机译:基于SAT的形式验证的策略。
机译:辐射肺炎预测的构建与验证基于多个参数的模型
机译:上下文展开的构造和基于SAT的验证
机译:上下文网络展开和异步系统验证