电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
在基于可满足性模理论（SMT）的限界模型检测中，限界深度对于程序验证结果的可信性和程序验证效率具有重要影响。传统串行检测方法由于单机处理性能和内存的限制，不能在限界较深的条件下进行验证。针对该问题，在Spark环境下提出一种分布式限界模型检测方法。将源程序的LLVM中间表示（LLVM-IR）构造为Spark内置的数据结构Pair RDD，利用MapReduce算法将Pair RDD转化为表示验证条件的弹性分布式数据集（VCs RDD），VCs RDD转化为SMT-LIB并输入SMT求解器进行验证。实验结果表明，与传统串行检测方法相比，该方法提高了验证过程中的限界深度和验证结果的正确率，并且对于复杂度较高的程序在限界相同的情况下其验证速度也有所提升。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 一种更安全的分布式一致性算法选举机制 9次下载
- 一种可行的分布式存储系统安全构造方法 21次下载
- 一种分布式网络扫描架构和任务调度算法 19次下载
- 一种分布式电源的DROOP控制方法 2次下载
- 一种新的分布式入侵检测模型 0次下载
- 基于代理模型的分布式聚类算法 0次下载
- 一种高光谱图像分布式压缩感知重构方法 0次下载
- 一种新的满符号传输率满分集度的分布式空时码 0次下载
- 基于Aglets的分布式入侵检测系统研究
- 对基于XML的分布式入侵检测模型的研究
- 一个基于移动Agent的分布式入侵检测系统模型
- 一种分布式视频系统中多级存储模型研究
- 分布式测控系统框架模型研究
- 基于多代理技术可自检的分布式入侵检测系统模型
- 分布式对象调试中的事件模型
- 分布式光纤声波传感技术的工作原理 4.5k次阅读
- 一种完全分布式的点线协同视觉惯性导航系统 1.5k次阅读
- tldb提供分布式锁使用方法 1.7k次阅读
- 基于PyTorch的模型并行分布式训练Megatron解析 5.5k次阅读
- 深入理解redis分布式锁 1.7k次阅读
- 如何使用分布式存储系统促进AI模型训练 1.3k次阅读
- 鸿蒙分布式相机“踩坑”分享 3.1k次阅读
- 具有分布式PLL的相控阵的系统级本地振荡器相位噪声模型 1.7k次阅读
- 利用NI VeriStand 2010实现分布式同步系统的设计 4.1k次阅读
- Redis 分布式锁的正确实现方式 4.1k次阅读
- 【新专利介绍】一种基于PLC分布式IO的智能电能表校验系统 2.1k次阅读
- 浅谈分布式块存储的元数据服务设计 5.4k次阅读
- 一种基于分布式算法的低通FIR滤波器 3.6k次阅读
- 深度解读分布式存储技术之分布式剪枝系统 2.2k次阅读
- 基于GPRS和IE的分布式收费终端功能升级策略 1.5k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论