技术编号:6515177
提示:您尚未登录,请点 登 陆 后下载,如果您还没有账户请点 注 册 ,登陆完成后,请刷新本页查看技术详细信息。本发明公开了。本发明包括以下步骤将JavaScript程序划分为静态部分和动态部分两大部分;使用开放时态逻辑规约JavaScript程序的正确性;使用程序证明方法验证静态部分正确性和静态动态部分组合的正确性;使用模型检测方法验证动态部分的正确性。本发明验证方法能够适应JavaScript语言的多种语法特性和应用场合,既能支持自动化的模型检测工具,又能有效的降低状态搜索空间,有效提高JavaScript程序的验证效率。专利说明—种混合验证JavaScr i ...
注意:该技术已申请专利,请尊重研发人员的辛勤研发付出,在未取得专利权人授权前,仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权,增加技术思路,做技术知识储备,不适合论文引用。
请注意,此类技术没有源代码,用于学习研究技术思路。