{"version":"1.0","type":"photo","provider_name":"Image Hosting","provider_url":"https:\/\/www.imagehost.torphe.org","title":"Safe By Design Examples Of Formal Methods In Software Engineering","url":"https:\/\/www.imagehost.torphe.org\/images\/2024\/08\/21\/Safe-By-Design-Examples-Of-Formal-Methods-In-Software-Engineering.md.jpg","web_page":"https:\/\/www.imagehost.torphe.org\/image\/b2Od5","width":"1200","height":"800","thumbnail_url":"https:\/\/www.imagehost.torphe.org\/images\/2024\/08\/21\/Safe-By-Design-Examples-Of-Formal-Methods-In-Software-Engineering.md.jpg","thumbnail_width":"500","thumbnail_height":333}