Exploiting GPU architectures for dynamic invariant mining.

Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli

Browse the full ICCD paper archive.