下推系统相关硕士博士期刊学术论文 - 搜论网

下推系统相关论文

一种基于CUDA的面向下推系统的并行模型检查方法

模型检查是一种非常重要的形式化验证技术,它利用状态空间搜索来探索所有可能的系统状态。以这种方式,可以检查给定的系统是否满足......

学位

并行计算模型检查下推系统 GPU LTL

基于模型检测的恶意行为分析

随着互联网的飞速发展人们的生活与互联网的联系变得越来越紧密,国家也提出了“互联网+”战略来促进社会发展。确保互联网的安全已......

学位

模型检测恶意行为下推系统反汇编栈帧

看过本文同时还关注