{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups\" title=\"Avraham Raviv, Or Reginiano, Eliya Bronshtein - Formal Verification through Python – Why and How?\" src=\"https://tube.hamakor.org.il/videos/embed/9bc2511a-3be8-4750-b852-8a534c0d2ef4\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"Avraham Raviv, Or Reginiano, Eliya Bronshtein - Formal Verification through Python – Why and How?","author_name":"PyConIsrael","author_url":"https://tube.hamakor.org.il/video-channels/pyconisrael","provider_name":"PeerTube","provider_url":"https://tube.hamakor.org.il","thumbnail_url":"https://tube.hamakor.org.il/lazy-static/previews/1cd59285-86f7-4a72-b634-3ae52ecd628b.jpg","thumbnail_width":850,"thumbnail_height":480}