首页>
外国专利>
Approximating finite domains in symbolic state exploration
Approximating finite domains in symbolic state exploration
展开▼
机译:符号状态探索中的有限域逼近
展开▼
页面导航
摘要
著录项
相似文献
摘要
A finite domain approximation for symbolic terms of a symbolic state is derived, given some finite domains for basic terms of the symbolic state. A method is executed recursively for symbolic sub-terms of a symbolic term, providing a domain over-approximation that can then be provided to a solver for determining a more accurate domain. The method can be applied to a wide array of system terms, including, for example, object states, arrays, and runtime types.
展开▼