Southern Illinois University at Carbondale.;
机译:多线程二维泊松方程求解器中两种加速技术的评估
机译:使用同步分析和SAT / SMT解决方案对并行系统进行高效验证
机译:使用SMT求解器的松弛内存模型下的汇编程序验证框架
机译:PSAT和SAT之间的RTL验证比较
机译:使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
机译:Zn2 +诱导表达平台的Syechococcus sp。基于smtA启动子/运算符和smtB阻遏物的PCC 7002株
机译:使用SMT求解器在基于抽象的状态图验证中利用层次结构
机译:认证可满足性模块理论(smT)解决系统验证。