Spark环境下基于SMT的分布式限界模型检测

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

Spark环境下基于SMT的分布式限界模型检测

任胜兵,张健威,吴斌,王志健

SMT-based Distributed Bounded Model Checking in Spark

REN Shengbing,ZHANG Jianwei,WU Bin,WANG Zhijian

计算机工程 . 2017, (6): 19 -23,29 . DOI: 10.3969/j.issn.1000-3428.2017.06.003