Parallelizing model checking algorithms using multi-core and many-core architectures

by Wu, Zhimin
Published 2017

GPU Accelerated counterexample generation in LTL model checking

by WU, Zhimin, LIU, Yang, LIANG, Yun, SUN, Jun
Published 2014

GPU accelerated on-the-fly reachability checking

by WU, Zhimin, LIU, Yang, SUN, Jun, SHI, Jianqi, QIN, Shengchao
Published 2015