线性时序逻辑

作品数：73被引量：185H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧林林禹鑫燚郭永奎李永明肖云涛更多>>
相关机构：浙江工业大学国防科学技术大学中国科学院软件研究所清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划浙江省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号执行和LTL公式重写的测试用例产生方法被引量：3
《计算机研究与发展》2013年第12期2661-2675,共15页陈冬火 刘全 
国家自然科学基金项目(61070223;61103045;61070122;61272005;61303108);江苏省自然科学基金项目(BK2012616)
基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法...
关键词：测试用例自动产生 符号执行 公式重写 模型检验 线性时序逻辑 输入 输出符号变迁系统 
基于线性时序逻辑的对象文件系统形式化描述
《计算机研究与发展》2007年第z1期154-160,共7页曾令仿 冯丹 王芳 施展 
国家自然科学基金项目(60303032,60603048);国家发改委CNGI基金项目(CNGI-04-5-1D);国家"九七三"重点基础研究发展规划基金项目(2004CB318201)
基于线性时序逻辑,给出了对象文件系统特性的形式化描述.对象文件系统时序逻辑(OFSTL)是线性时序逻辑在描述对象文件系统应用中的一个推广.用OFSTL描述对象文件系统的性质,用模型化的状态迁移系统表示对象文件系统的访问行为.试图解决...
关键词：对象文件系统 线性时序逻辑 智能存储 性质验证 
基于线性时序逻辑的多Agent协商推理模型
《计算机研究与发展》2006年第z1期79-83,共5页尹红丽 王永明 夏幼明 
云南省自然科学基金项目(04F00062);云南省省院省校科技合作基金项目(2004XY42)
在多智能体系统中,协商是Agent交互的主要形式.用形式化方法构建了基于线性时序逻辑的协商推理模型,该模型用线性时序逻辑描述在协商过程中Agent所处环境,自身能力、权力、知识、思维等随时间的变化,以及在系统运行时Agent采取异步行为...
关键词：多AGENT系统 协商推理模型 线性时序逻辑 
软件构架动态行为建模与检测被引量：1
《计算机研究与发展》2005年第11期2018-2024,共7页何坚 覃征 
国家"八六三"高技术研究发展计划基金项目(2003AA412020);陕西省"十五"科技发展计划基金项目(2000K08-G12)~~
针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr/T网对软件构架动态行为建模·提出基于线性时序逻辑的软件构架动态行为模型检测方法,给...
关键词：软件构架 Pr/T网 线性时序逻辑 模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部