首页>
外国专利>
Efficient SAT-based unbounded symbolic model checking
Efficient SAT-based unbounded symbolic model checking
展开▼
机译:基于SAT的高效无界符号模型检查
展开▼
页面导航
摘要
著录项
相似文献
摘要
An efficient approach for SAT-based quantifier elimination and pre-image computation using unrolled designs that significantly improves the performance of pre-image and fix-point computation in SAT-based unbounded symbolic model checking.
展开▼