首页>
外国专利>
Matching Based Pattern Inference for SMT Solvers
Matching Based Pattern Inference for SMT Solvers
展开▼
机译:基于匹配的模式推理用于SMT求解器
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for automatically analyzing formulas and adding pattern annotations to quantifiers based on a database of common pattern idioms. The method involves matching base pattern inference for Satisfiability Modulo Theories (SMT) solvers. The method uses a database for fault detection in externally supplied pattern annotated formulas. The method also uses matching code trees to mixed second-order pattern matching.
展开▼