2024年8月19日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
中央级公益性科研院所基本科研业务费专项(JY10000903014)
作品数:
1
被引量:2
H指数:1
相关作者:
周清雷
朱维军
张海宾
更多>>
相关机构:
西安电子科技大学
郑州大学
更多>>
发文基金:
陕西省科技攻关计划
河南省科技攻关计划
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
时序逻辑
1篇
投影时序逻辑
1篇
命题投影时序...
1篇
并发模型
机构
1篇
郑州大学
1篇
西安电子科技...
作者
1篇
张海宾
1篇
朱维军
1篇
周清雷
传媒
1篇
华中科技大学...
年份
1篇
2010
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
命题投影时序逻辑并发建模与自动验证
被引量:2
2010年
针对目前尚无模型检测方法对区间并发模型进行区间性质的自动验证的情况,采用命题投影时序逻辑中具有特定结构的一类公式来建立系统的区间并发模型,该逻辑的任意公式可以描述模型需要满足的区间性质,通过归约为已有的逻辑公式可满足性判定算法,证明了命题投影时序逻辑统一框架模型检测是可判定的,从而得到了其自动验证方法,并给出了一个验证实例.
朱维军
张海宾
周清雷
关键词:
时序逻辑
命题投影时序逻辑
并发模型
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张