Search Results - "Aspetakis, Dimitrios"

Formal Methods for High Integrity GPU Software Development and Verification

Authors: Aspetakis, Dimitrios Trompouki, Matina Maria Kosmidis, Leonidas et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Formal verification, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Ada SPARK, Embedded GPGPUs, Safety critical systems

File Description: application/pdf