On the scalability of the gpuexplore explicit-state model checker

Published in Graphs as Models (GAM), 2017

Download paper here