《表1 验证结果数据:结合关注事件的时间自动机语言包含模型检测》
我们在PAT工具中实现了本文的时间自动机语言包含算法,使用该算法进行模型检测后的验证结果数据如表1所示,并可分析出以下结论:
图表编号 | XD009532700 严禁用于非法目的 |
---|---|
绘制时间 | 2019.12.01 |
作者 | 王婷、苏琪、陈铁明 |
绘制单位 | 浙江工业大学计算机科学与技术学院、浙江工业大学计算机科学与技术学院、浙江工业大学计算机科学与技术学院 |
更多格式 | 高清、无水印(增值服务) |
我们在PAT工具中实现了本文的时间自动机语言包含算法,使用该算法进行模型检测后的验证结果数据如表1所示,并可分析出以下结论:
图表编号 | XD009532700 严禁用于非法目的 |
---|---|
绘制时间 | 2019.12.01 |
作者 | 王婷、苏琪、陈铁明 |
绘制单位 | 浙江工业大学计算机科学与技术学院、浙江工业大学计算机科学与技术学院、浙江工业大学计算机科学与技术学院 |
更多格式 | 高清、无水印(增值服务) |