DVCon Europe 2020-Moshe Zalcberg opening keynote “What can Verification learn from Software?”