搜索到 篇“ 软件模型检测 “的相关文章

相关作者

易秋萍
作品数:7被引量:2H指数:1
供职机构:中国科学院软件研究所
研究主题:初始化 层次化 测试用例 裁剪 软件模型检测
薛锦云
作品数:137被引量:557H指数:13
供职机构:江西师范大学
研究主题:PAR方法 程序设计 形式化方法 循环不变式 PAR
李斌
作品数:18被引量:26H指数:3
供职机构:中国科学院软件研究所
研究主题:源码 源代码 注释 补丁 和函数
肖健宇
作品数:19被引量:39H指数:4
供职机构:湖南涉外经济学院
研究主题:B方法 形式化方法 程序依赖图 并发程序 UML状态机
张健沛
作品数:162被引量:815H指数:14
供职机构:哈尔滨工程大学计算机科学与技术学院
研究主题:隐私保护 支持向量机 聚类 匿名 数据流