技术编号:6536536
提示:您尚未登录,请点 登 陆 后下载,如果您还没有账户请点 注 册 ,登陆完成后,请刷新本页查看技术详细信息。本发明公开了,目的是解决参数化系统验证成本高、准确性低、速度慢的问题。技术方案是先针对参数化系统的特点构建参数化系统自动化验证框架;然后从外界读入单个进程模型、进程个数、待验证性质和自定义谓词库,并构建单个进程的有限状态机模型;根据真并发合成规则自动构建描述完整的参数化系统的真并发合成模型;接着采用谓词抽象技术对真并发合成模型自动进行抽象化简,得到有限状态机描述的抽象模型;最后,采用模型检验技术遍历抽象模型,并判断待验证性质是否满足。采用本发明可降低参数化...
注意:该技术已申请专利,请尊重研发人员的辛勤研发付出,在未取得专利权人授权前,仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权,增加技术思路,做技术知识储备,不适合论文引用。
请注意,此类技术没有源代码,用于学习研究技术思路。