Verifiability Talk 14: Challenges in Automated Software Testing: GPUs & Smart Contracts (Ajitha Rajan, University of Edinburgh) – Verifiability Node

6 May 2021

Verifiability Talk 14: Challenges in Automated Software Testing: GPUs & Smart Contracts (Ajitha Rajan, University of Edinburgh)

16:00 – 17:00

Title: Challenges in Automated Software Testing: GPUs & Smart Contracts

Speaker: Ajitha Rajan (University of Edinburgh)