8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
Nathan Cassee, Thomas Neele, Anton Wijs
The use of graphics processors (GPUs) is a promising approach to speed up model checking to such an extent that it becomes feasible to instantly verify software systems during deve…