线性时序逻辑

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
嵌入偏序约简的状态事件线性时序逻辑验证被引量：6
《计算机学报》2019年第10期2145-2159,共15页谢健 阚双龙 黄志球 王飞 杨志斌 李伟湋 
国家高技术研究发展计划项目（2015AA105303）;国家重点研发计划项目(2016YFB1000802）;江苏省自然科学基金青年基金（BK20170809）;中国博士后基金面上基金（2018M632304）资助
模型检验是硬件和软件形式化验证最成功的技术之一.目前大部分的模型检验技术是基于状态的而不考虑迁移上的操作和事件.这导致模型检验在验证使用事件进行交互的组件系统中面临新的困难,因此需要新的规约技术对状态事件系统进行规约.状...
关键词：偏序约简 状态事件线性时序逻辑 模型检验 同步乘 标签Kripke结构 
基于DNA计算的线性时序逻辑模型检测方法被引量：4
《计算机学报》2016年第12期2578-2597,共20页朱维军 周清雷 张钦宪 
国家自然科学基金(61250007;U1204608;U1304606;61373043;61572444);中国博士后科学基金(2012M511588;2015M572120);河南省高等学校青年骨干教师资助计划(2014GGJS-001)资助~~
该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Fi...
关键词：模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 有穷状态自动机 DNA计算 
面向移动应用软件信息泄露的模型检测研究被引量：12
《计算机学报》2016年第11期2324-2343,共20页过辰楷 许静 司冠南 李恩鹏 徐思涵 
国家自然科学基金(61402264);天津市科学技术委员会项目(12JCZDJC20800);国家科技支撑计划(2013BAH01B05)资助~~
移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露,而泄露形式和内容的复杂性增添了该类漏洞的检测难度.现有方法主要利用传统的静态数据流分析及动态监控等技术,易发生漏报和误报,且无法处理隐式信息泄露问题....
关键词：模型检测 移动应用软件 信息泄露 线性时序逻辑 漏洞检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部