Towards a Spatial Model Checker on GPU.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

Browse the full FORTE paper archive.