CUDA Acceleration of Worst-Case Execution Time Analysis Based On Model Checking. - Shang WanXin; Tao Wu 010; Yang Fei; Xi Chen 026; Jingjue Chen; Zhenxia Yu (CBD, 2022)