Carnegie Mellon University.;
机译:通过基于SAT的属性检查对混合信号电路的稳态行为进行半形式验证
机译:使用Sat解算器自动验证访问控制策略
机译:基于SAT的宏电路延迟故障测试的测试生成方法
机译:基于SAT的高效软件分析:从自动化测试到自动化验证和修复
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:基于SAT的模拟和混合信号电路验证
机译:基于saT的抽象细化框架中重新参数化的符号模拟实验