线性时序逻辑

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
线性时序逻辑公式的可监控性量化算法被引量：1
《小型微型计算机系统》2020年第11期2413-2419,共7页陈云云 陈哲 
国家自然科学基金委员会-中国民航局民航联合研究基金项目(U1533130)资助;高安全系统的软件开发与验证技术工业和信息化部重点实验室开放基金项目(XCA18164-02)资助.
在运行时验证中,对于给定的线性时序逻辑公式,常用其可监控性和弱可监控性来衡量其是否适合用于运行时验证.而实际上,可监控性的要求过于严格,弱可监控性解决的又仅仅是一个“存在”问题.为了量化公式的可监控性和弱可监控性,本文提出...
关键词：线性时序逻辑 运行时验证 可监控性 概率可监控性 马尔可夫链 
线性时序逻辑公式Xp模型检测的DNA计算方法被引量：2
《小型微型计算机系统》2017年第3期553-558,共6页韩英杰 朱维军 焦林枫 刘洋 周清雷 
国家自然科学基金项目(61572444)资助;河南省科技厅基础与前沿技术研究项目(152300410055)资助
突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式 Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法.提出Xp的基于DNA...
关键词：模型检测 线性时序逻辑 DNA计算 粘贴自动机 
有界模型检查可执行文件的安全属性被引量：1
《小型微型计算机系统》2008年第9期1674-1678,共5页唐卓椿 吴刚 帅建梅 孔德光 
安徽省优秀青年科技基金项目(04042046)资助;国家"八六三"高技术研究发展计划基金项目(2006AA01Z449)资助
引入模型检查方法对可执行文件进行脆弱性分析.对可执行文件形式化建模,采用有界模型检查技术验证可执行文件的安全属性,并在X86体系结构上开发了一个用于可执行文件的模型检查器.实验以内存泄漏和栈溢出漏洞为例,将其属性描述为线性时...
关键词：软件脆弱性 静态分析 有界模型检查 反汇编 线性时序逻辑 
基于线性时序逻辑的实时系统建模与求精被引量：2
《小型微型计算机系统》2006年第8期1580-1584,共5页张广泉 
国家自然科学基金项目(60073020)资助;国家高技术研究发展计划"八六三"项目(2001AA113200)资助;中国科学院计算机科学国家重点实验室开放课题项目(SYSKF0303)资助;江苏省高校自然科学基金项目(05KJB520119)资助;重庆市教委科学技术研究项目(040803)资助.
线性时序逻辑语言XYZ/E在统一的语义框架下,能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述,也适于描述实时系统的模型和逐步求精过程.本文提出了一种基于构件的实时系统求精方法,并给出一个具体实例—电梯控制系统,...
关键词：实时系统 线性时序逻辑 建模 求精 XYZ/E 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部