{"type": "article", "title": "Not 'Tested.' Proved. — Why MAREF Uses TLA+ Formal Verification", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/not-tested-proved-why-maref-uses-tla-formal-verification", "original_source": "https://maref.cc/en/blog/tla-plus-formal-verification", "published": "2026-06-16T00:00:00+00:00", "accessed": "2026-07-06", "id": "not-tested-proved-why-maref-uses-tla-formal-verification"}