On the scalability of the gpuexplore explicit-state model checkerPublished in Graphs as Models (GAM), 2017Download paper hereShare on Twitter Facebook LinkedIn