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.