公开(公告)号：CN109508288A

公开(公告)日：2019-03-22

申请号：CN201811230399.7

申请日：2018-10-22

Applicant: 暨南大学

Inventor： 穆罕默德·卡拉杰 ,  穆罕默德·拉姆丹尼 ,  里德·卡拉洛 ,  李志武 ,  屈挺

IPC: G06F11/36

Abstract: 本发明提供一种模型检测方法，包括获取可重构系统的属性，确定所述属性之间的关系，基于所述属性之间的关系，执行所述可重构系统的模型检测。本发明实施例提供的模型检测方法，在模型检测之前，对属性进行预处理，与已有方法相比，在验证前对属性集进行分析，提取属性间的关系，从而最小化要验证的属性的数量，并且最小化了属性的验证时间。

公开(公告)号：CN109508288B

公开(公告)日：2022-04-01

申请号：CN201811230399.7

申请日：2018-10-22

Applicant: 暨南大学

Inventor： 穆罕默德·卡拉杰 ,  穆罕默德·拉姆丹尼 ,  里德·卡拉洛 ,  李志武 ,  屈挺

IPC: G06F11/36

Abstract: 本发明提供一种模型检测方法，包括获取可重构系统的属性，确定所述属性之间的关系，基于所述属性之间的关系，执行所述可重构系统的模型检测。本发明实施例提供的模型检测方法，在模型检测之前，对属性进行预处理，与已有方法相比，在验证前对属性集进行分析，提取属性间的关系，从而最小化要验证的属性的数量，并且最小化了属性的验证时间。