{"ok":true,"article":{"slug":"the-case-against-formal-verification-50-years-later-bcc30bfa","title":"The Case Against Formal Verification, 50 Years Later","url":"https://ivan-gavran.github.io/0-social-processes-paper","canonical":"https://www.aimode.news/article/the-case-against-formal-verification-50-years-later-bcc30bfa","sourceName":"Hacker News","summary":null,"category":"Technology","image":null,"lang":"en","publishedAt":"2026-08-16T20:38:58+00:00","createdAt":"2026-08-16T21:00:13.129969+00:00"}}