On the scalability of the gpuexplore explicit-state model checker

Published in Graphs as Models (GAM), 2017

Recommended citation: Cassee, Nathan, Thomas Neele, and Anton Wijs. "On the Scalability of the GPUexplore Explicit-State Model Checker." Electronic Proceedings in Theoretical Computer Science 263 (2017): 38-52. Crossref. Web. https://cassee.dev/files/gpuexplore-scalability.pdf

Download paper here

Recommended citation: Cassee, Nathan, Thomas Neele, and Anton Wijs. “On the Scalability of the GPUexplore Explicit-State Model Checker.” Electronic Proceedings in Theoretical Computer Science 263 (2017): 38-52. Crossref. Web.