Formal Methods for High Integrity GPU Software Development and Verification.

Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gbor Marosy

Browse the full DATE paper archive.