{"type": "article", "title": "Formal methods can start small", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/formal-methods-can-start-small", "original_source": "https://www.yovico.ai/blog/formal-methods-can-start-small/", "published": "2026-09-23T00:43:38+00:00", "accessed": "2026-09-23", "id": "formal-methods-can-start-small"}