{"type": "article", "title": "AxDafny Redefines Code Verification Standards", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/axdafny-redefines-code-verification-standards", "original_source": "https://www.machinebrief.com/news/axdafny-redefines-code-verification-standards-o49d", "published": "2026-07-01T04:53:16+00:00", "accessed": "2026-07-01", "id": "axdafny-redefines-code-verification-standards"}