{"version":"1.0","type":"link","title":"What does it mean to formally verify software?","author_name":"Kevin Aleman","author_url":"https://kevinaleman.com","provider_name":"Kev's logbook","provider_url":"https://kevinaleman.com","cache_age":86400,"thumbnail_url":"https://kevinaleman.com/images/formal-verification-cover-illustrated.webp"}