首页>
外国专利>
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.
展开▼