温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明涉及一种带参协议的自动验证方法，包括：对带参系统进行建模，得到带参协议；对带参协议的参数进行赋值得到一个实例，利用模型检测器收集该实例的可达状态集；提取带参协议中的原子谓词，将所述可达状态集转换为数据集；利用关联规则学习算法，从所述数...
该专利属于广州市智能软件产业研究院所有，仅供学习研究参考，未经过广州市智能软件产业研究院授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。