Model Checking: Debugging Complex, Interacting Systems
Endor's seminar at The Technion
CACM Dec. 2019 - Automated Program Repair
Weld Management: Detail Model Checking with A360
Formal Software Verification - Week 1 Introduction
Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.
Explore contextually related video stories in a new eye-catching way. Try Combster now!