一种基于源代码的模型验证方法

作者：史建琦; 焦明月; 黄滟鸿; 孙文圣; 战云龙; 郭欣

来源：2020-01-06, 中国, ZL202010011065.1.

本发明公开了一种基于源代码的模型验证方法,所述方法包括：获取目标源代码；根据AADL建模技术将所述目标源代码进行建模后生成AADL模型；基于预设转换方式将所述AADL模型转换生成时间自动机模型；利用预设模型检测器对所述时间自动机模型进行检查。因此,采用本申请实施例,可以提高验证效率。

• 单位
  华东师范大学