{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"5. Program Correctness and Verification\" src=\"https://visualhub.fxcams.in/videos/embed/1530e152-7ee8-4063-822a-76257acce081\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"5. Program Correctness and Verification","author_name":"21IT7713 SOFTWARE TESTING AND TOOLS","author_url":"https://visualhub.fxcams.in/video-channels/21it7713softwaretestingandtools","provider_name":"PeerTube","provider_url":"https://visualhub.fxcams.in","thumbnail_url":"https://visualhub.fxcams.in/lazy-static/previews/5f6e4ea5-0497-476d-a811-332c80442ae2.jpg","thumbnail_width":850,"thumbnail_height":480}