首页>
外国专利>
ACCELERATING HIGH-LEVEL BOUNDED MODEL CHECKING
ACCELERATING HIGH-LEVEL BOUNDED MODEL CHECKING
展开▼
机译:加速高阶有界模型检验
展开▼
页面导航
摘要
著录项
相似文献
摘要
An accelerated High-Level Bounded Model Checking method that efficiently extracts high-level information from the model, uses that extracted information to obtain an improved verification model, and applies relevant information on-the-fly to simplify the BMC-problem instances.
展开▼