聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 程序模型检测的两阶段框架
出处:计算机应用 2007年第12期 3089-3091,共3页
摘要:模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程... 显示全部
关键词: 程序模型检测 流分析 程序分析
在线阅读 下载全文
找到1条结果
`