Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
5
Program languages
7
Licenses
1
1-1 of 1
Logo for Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

  • Deductive verification
  • formal methods
  • GPU
  • + 2
  • (C)
  • (C++)
  • (Markdown)
  • + 4
1
0