首页>
外国专利>
SYSTEM, METHOD AND COMPUTER PROGRAM PRODUCT FOR DETECTING INFEASIBLE EVENTS IN DYNAMIC PROGRAMS
SYSTEM, METHOD AND COMPUTER PROGRAM PRODUCT FOR DETECTING INFEASIBLE EVENTS IN DYNAMIC PROGRAMS
展开▼
机译:检测动态程序中不可行事件的系统,方法和计算机程序产品
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer-implemented method for determining infeasible conditions is disclosed. The method comprises executing a backward-bounded symbolic analysis on a control flow graph of a dynamic program.
展开▼