{"type": "article", "title": "The Case Against Formal Verification, 50 Years Later", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/the-case-against-formal-verification-50-years-later", "original_source": "https://ivan-gavran.github.io/0-social-processes-paper", "published": "2026-08-16T20:38:58+00:00", "accessed": "2026-08-16", "id": "the-case-against-formal-verification-50-years-later"}