Anton Wijs in I/O Magazine

24 Jul 2019

Please find an interesting contribution about how GPUs are used for software model checking, and how this is multitudes more efficient than CPUs. Sorry for Dutch.