首页>
外国专利>
COMPUTING A SYMBOLIC BOUND FOR A PROCEDURE
COMPUTING A SYMBOLIC BOUND FOR A PROCEDURE
展开▼
机译:计算程序的符号界线
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system that facilitates computing a symbolic bound with respect to a procedure that is executable by a processor on a computing device is described herein. The system includes a transition system generator component that receives the procedure and computes a disjunctive transition system for a control location in the procedure. A compute bound component computes a bound for the transition system, wherein the bound is expressed in terms of inputs to the transition system. The system further includes a translator component that translates the bound computed by the compute bound component such that the bound is expressed in terms of inputs to the procedure.
展开▼