About me

About me

I'm a PhD student at the Computer Science department of the TU/e working on human aspects of Software Engineering

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.