{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Very Basic Introduction to Formal Verification\" src=\"https://diode.zone/videos/embed/888a2723-966d-461f-aa8c-a0438777ffbe\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"Very Basic Introduction to Formal Verification","author_name":"Main babbageboole channel","author_url":"https://diode.zone/video-channels/babbageboole_channel","provider_name":"PeerTube","provider_url":"https://diode.zone","thumbnail_url":"https://diode.zone/lazy-static/previews/888a2723-966d-461f-aa8c-a0438777ffbe.jpg","thumbnail_width":850,"thumbnail_height":480}