GPU Accelerated Counterexample Generation in LTL Model Checking.

Zhimin Wu, Yang Liu, Yun Liang, Jun Sun

Browse the full ICFEM paper archive.