{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"The Technium","title":"TLA+ and Formal Methods (The Technium Podcast S02 E09)","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/1d227263\"></iframe>","width":"100%","height":180,"duration":4279,"description":"TLA+ is a language for formally modeling and verifying the correctness of programs, especially concurrent and distributed ones. We discuss how it could be used to improve the practice of software engineering and what it would take for formal methods to gain more popularity.","thumbnail_url":"https://img.transistorcdn.com/s_TeOjvmo9Kza_wHNraLFOqoG1-rSKJllNhkA8fY_ps/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9zaG93/LzI2NjMwLzE2NDA4/Mjg2MjMtYXJ0d29y/ay5qcGc.webp","thumbnail_width":300,"thumbnail_height":300}