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

本发明公开了一种形式化验证系统，包括SEDS建模模块，用于依据电子数据表单规范文件建立SEDS模型；模型转换模块用于将SEDS模型转换为适合模型检查的形式化模型；性质规约模块用于对SEDS模型的功能逻辑的性质进行形式化描述；形式化验证模块用...
该专利属于华东师范大学所有，仅供学习研究参考，未经过华东师范大学授权不得商用。

详细技术文档下载地址

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