Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[PDF][PDF] 基于谓词抽象的测试用例约简生成方法
郭曦， 张焕国 - 通信学报, 2012 - infocomm-journal.com
针对大规模软件系统状态迁移数量庞大, 容易导致状态空间爆炸的问题, 提出一种基于谓词抽象
的测试用例约简生成方法, 该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分 …
的测试用例约简生成方法, 该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分 …
[PDF][PDF] 马尔可夫决策过程的限界模型检测
周从华， 邢支虎， 刘志锋， 王昌达 - 计算机学报, 2013 - cjc.ict.ac.cn
摘要限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,
已经被证明是缓解状态空间爆炸问题的有力技术. 文中遵循限界模型检测的思想 …
已经被证明是缓解状态空间爆炸问题的有力技术. 文中遵循限界模型检测的思想 …
[PDF][PDF] 使用事件自动机规约的 C 语言有界模型检测
阚双龙， 黄志球， 陈哲， 徐丙凤 - 2014 - researchgate.net
提出使用事件自动机对C 程序的安全属性进行规约, 并给出了基于有界模型检测的形式化验证
方法. 事件自动机可以规约程序中基于事件的安全属性, 且可以描述无限状态的安全属性 …
方法. 事件自动机可以规约程序中基于事件的安全属性, 且可以描述无限状态的安全属性 …
参数化系统二维抽象框架
屈婉霞， 庞征斌， 郭阳， **暾， 杨晓东 - 国防科技大学学报, 2010 - journal.nudt.edu.cn
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA.
对所有进程单独进行抽象, 利用参数化系统的设计思想, 隐藏系统参数构建全系统的抽象模型 …
对所有进程单独进行抽象, 利用参数化系统的设计思想, 隐藏系统参数构建全系统的抽象模型 …
[ALINTI][C] 用关系谓词推演实现复杂全称量词的结构化查询
钱哨 - 计算机应用与软件, 2011
[ALINTI][C] 软件模型检测中的抽象模型研究综述
魏欧， 石玉峰， 徐丙凤， 黄志球， 陈哲 - 计算机研究与发展, 2015
[ALINTI][C] 概率时态认知逻辑模型检测中三值抽象技术的研究
周从华， 孙博， 刘志锋， 葛云 - 电子学报, 2012
[ALINTI][C] 基于抽象和搜索空间划分的安全性判定方法
王昌达， 华明辉， 周从华， 宋香梅， 鞠时光 - 计算机科学, 2011
[ALINTI][C] 多用户协同虚拟装配网格系统研究
唐为奇， 范秀敏， 武殿梁， 胡勇 - 计算机工程与设计, 2009
[ALINTI][C] 非传递广义无干扰属性符号化算术验证方法
周从华， 刘志锋， 吴海玲， 陈松， 鞠时光 - **科学: 信息科学, 2011