位置：成果数据库 > 期刊 > 期刊详情页
线性μ-演算交换深度的可判定性及其复杂度
  • ISSN号：1000-1239
  • 期刊名称：《计算机研究与发展》
  • 时间：0
  • 分类：TP391.41[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]国防科学技术大学计算机学院并行与分布处理国家重点实验室,长沙,410073 国防科学技术大学计算机学院并行与分布处理国家重点实验室,长沙,410073 国防科学技术大学计算机学院并行与分布处理国家重点实验室,长沙,410073
  • 相关基金：国家"八六三"高技术研究发展计划基金项目(2006AA01Z429);新世纪优秀人才支持计划基金项目(NCET-04-0996);国家自然科学基金项目(60725206)
作者： 刘万伟[1], 王戟[1], 陈火旺[1]
关键词： 线性μ-演算, 交换深度, ω-自动机
中文摘要：

模态μ-演算被十分广泛地应用在模型验证技术中.影响模态μ-演算检验复杂度的主要瓶颈来源于规约公式的交换深度.讨论了线性μ-演算交换深度的可判定性以及求解复杂度.证明了线性μ-演算交换深度是可判定的;同时证明了对于长为l的公式判定及求解的复杂度为2O(l logl).

同期刊论文项目
　高安全等级操作系统设计验证的关键技术
期刊论文 6
软件工程学
期刊论文 25 会议论文 10
同项目期刊论文
基于约束的多面体抽象域的弱接合
一种基于变量可达向量的链表抽象方法
Symbolic Model Checking APSL
A Programming Language Approach to Internet-Based Virtual Computing Environment
Demand-Driven Memory Leak Detection Based on Flow and Context-Sensitive Pointer Analysis
A Tighter Analysis of Piterman’s Büchi Determinization
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs
Quantitative Analysis for Symbolic Heap Bounds of CPS Software
线性 μ-演算交换深度的可判定性及其复杂度
ETL 的符号化模型检验
软件分析技术进展
基于约束的多面体抽象域的弱结合
面向参数化LTL的预测监控器构造技术
A Spectral Clustering-based Optimal Deployment Method for Scientific Application in Cloud Computing
单变量区间线性不等式抽象域
精确的堆内存使用量上界分析
发布/订阅系统中基于属性分组的匹配结构
静态栅栏分析中反例生成的改进
发布订阅系统中的拒绝服务攻击
命令式程序终止性验证方法综述
ETL的符号化模型检验
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
并发反应式系统的组合模型检验与组合精化检验
ETL的符号化模型检验
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
基于Assume—Guarantee搜索复用的C程序验证方法
一种软件部署冲突检测及其自动调整算法
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349