Formal Methods for High Integrity GPU Software Development and Verification. - Dimitris Aspetakis; Leonidas Kosmidis; Matina Maria Trompouki; Jose Ruiz; Gábor Marosy (DATE, 2024)