Model checking method, device and storage medium

• Main Authors: LI ZHIWU, QU TING, REID KERALOCK, MUHAMMAD KARAJ, MUHAMMAD RAMDANI
• Format: Patent
• Language: Chinese; English
• Published: 22.03.2019
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

The present invention provides a model detection method, which comprises acquiring attributes of a reconfigurable system, determining a relationship between the attributes, and performing model detection of the reconfigurable system based on the relationship between the attributes. The model detection method provided by the embodiment of the invention pretreats the attributes before the model detection, compares with the existing method, analyzes the attribute set before the verification, extracts the relationship between the attributes, thereby minimizing the number of attributes to be verified and minimizing the verification time of the attributes. 本发明提供种模型检测方法，包括获取可重构系统的属性，确定所述属性之间的关系，基于所述属性之间的关系，执行所述可重构系统的模型检测。本发明实施例提供的模型检测方法，在模型检测之前，对属性进行预处理，与已有方法相比，在验证前对属性集进行分析，提取属性间的关系，从而最小化要验证的属性的数量，并且最小化了属性的验证时间。