期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于抽取-精化的概率系统假设-保证验证
1
作者
张君华
黄志球
肖芳雄
《计算机工程与科学》
CSCD
北大核心
2013年第3期128-133,共6页
假设-保证推理是标记迁移系统组合验证的有效手段,近期,假设-保证推理在概率系统的验证中也得到了应用。在推理中,假设的学习是通过Lstar算法来完成的。针对概率系统的假设-保证推理,提出了一种新的方法:首先直接对组合系统的一个组件...
假设-保证推理是标记迁移系统组合验证的有效手段,近期,假设-保证推理在概率系统的验证中也得到了应用。在推理中,假设的学习是通过Lstar算法来完成的。针对概率系统的假设-保证推理,提出了一种新的方法:首先直接对组合系统的一个组件进行抽取,得到一个初步的假设;通过与假设-保证规则进行多次交互,不断精化该假设;最后,要么得到一个适当的假设以证明结论的正确性,要么得到一个反例来证明结论不成立。
展开更多
关键词
假设-保证验证
抽取精化
概率自动机
概率时间自动机
组合验证
在线阅读
下载PDF
职称材料
题名
基于抽取-精化的概率系统假设-保证验证
1
作者
张君华
黄志球
肖芳雄
机构
宁波大学职业技术教育学院
南京航空航天大学计算机科学与技术学院
广西财经学院信息与统计学院
出处
《计算机工程与科学》
CSCD
北大核心
2013年第3期128-133,共6页
基金
国家自然科学基金资助项目(61272083
61262002)
宁波市自然科学基金资助项目(2012A610063)
文摘
假设-保证推理是标记迁移系统组合验证的有效手段,近期,假设-保证推理在概率系统的验证中也得到了应用。在推理中,假设的学习是通过Lstar算法来完成的。针对概率系统的假设-保证推理,提出了一种新的方法:首先直接对组合系统的一个组件进行抽取,得到一个初步的假设;通过与假设-保证规则进行多次交互,不断精化该假设;最后,要么得到一个适当的假设以证明结论的正确性,要么得到一个反例来证明结论不成立。
关键词
假设-保证验证
抽取精化
概率自动机
概率时间自动机
组合验证
Keywords
assume-guarantee verification
abstraction refinement
probabilistic automata
probabilis-tic timed automata
compositional verification
分类号
TP306 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于抽取-精化的概率系统假设-保证验证
张君华
黄志球
肖芳雄
《计算机工程与科学》
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
