线性时序逻辑

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
ProMiner:系统性质驱动的双向一致性检验框架被引量：1
《软件学报》2016年第7期1757-1771,共15页葛徐骏 王玲 徐立华 郭建 朱惠彪 
上海市自然科学基金(13ZR1413000);核高基重大专项(2014ZX01038-101-001);国家自然科学基金(61502170;91118008);国家基金委国际合作项目(中丹)(61361136002);国家基金委创新研究群体项目(61321064)~~
在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能...
关键词：一致性检验 模型检测 基于模型的测试 线性时序逻辑 
基于线性时序逻辑的实时系统模型检查被引量：8
《软件学报》2002年第2期193-202,共10页李广元 唐稚松 
国家自然科学基金资助项目(60073020);国家九五重点科技攻关项目(98-780-01-07-01);国家863高科技发展计划资助项目(863-306-ZT02-04-1)~~
模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTLC公式的模型检查化...
关键词：实时系统 时间自动机 线性时序逻辑 模型检查 性质验证 算法 
带有时钟变量的线性时序逻辑与实时系统验证被引量：16
《软件学报》2002年第1期33-41,共9页李广元 唐稚松 
国家自然科学基金资助项目(60073020);国家九五重点科技攻关项目(98-780-01-07-01);国家863高科技发展计划资助项目(863-306-ZT02-04-1)~~
为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系...
关键词：实时系统 线性时序逻辑 系统描述语言 性质验证 时钟变量 计算机控制系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部