{"type": "article", "title": "Podcast: Formal Methods for Every Engineer in an AI-Powered Future", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/podcast-formal-methods-for-every-engineer-in-an-ai-powered-future", "original_source": "https://www.infoq.com/podcasts/formal-methods-ai-powered-future/?utm_campaign=infoq_content&utm_source=infoq&utm_medium=feed&utm_term=global", "published": "2026-07-10T09:00:00+00:00", "accessed": "2026-07-10", "id": "podcast-formal-methods-for-every-engineer-in-an-ai-powered-future"}