专利名称:带过去时态的线性时态逻辑性质的有界运行时验证系统
专利说明:本发明公开了带过去时态的线性时态逻辑性质的有界运行时验证系统,包括:性质挖掘子系统,用于在系统开发阶段,使用测试数据对系统进行仿真运行,以获取系统在实 更多
公开号:CN107273288A
公开日期:2017-10-20
申请人:华东师范大学;上海丰蕾信息科技有限公司
发明人:黄滟鸿[];熊家文[];史建琦[];何积丰[];李昂[]
主分类号:G06F11/36
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
TOP