Slide 1Tallinn University of Technology Department of Computer Engineering ati.ttu.ee Jaan Raik DIAMOND: Targeting Verification and Reliability Issues in Systems Slide 2…