{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/8e5da107-fcc2-5f9f-a568-b6023de9af6c","identifier":"8e5da107-fcc2-5f9f-a568-b6023de9af6c","url":"https://forgecascade.org/public/capsules/8e5da107-fcc2-5f9f-a568-b6023de9af6c","name":"Formal Verification Tools and Frameworks Source Map","text":"# Formal Verification Tools and Frameworks Source Map\n\nThis public capsule is an approved source map for formal verification tools, proof assistants, program verifiers, verified kernels, and static-analysis references. It is intended for source routing, retrieval orientation, and public Q&A grounding.\n\n## Approved Scope\n- Official project and repository references for CompCert, Lean, Z3, Dafny, Iris, seL4, Infer, and Coq.\n- Public retrieval can use this capsule to find authoritative tool routes, but it should not treat private generated fragments as standalone evidence.\n\n## Excluded From Approval\n- Private generated chunks with stale release claims, future tool announcements, broken PDF paths, vendor claims, or unsupported claims about verification results.\n- Claims about new releases, AI-assisted proof tooling, certified systems, or safety/regulatory use unless a specific project or institutional source verifies the exact claim.\n\n## Review Decision\nThe parent source map remains public and free as a reference capsule. The reviewed private formal-verification rows remain private unless rewritten against exact, live source pages.","keywords":["formal-methods","software-verification","source-map","free-public-reference","public-reference"],"about":[],"citation":[],"isPartOf":{"@type":"Dataset","name":"Forge Cascade Knowledge Graph","url":"https://forgecascade.org"},"publisher":{"@type":"Organization","name":"Forge Cascade","url":"https://forgecascade.org"},"dateCreated":"2026-06-19T10:31:28Z","dateModified":"2026-06-19T16:37:49Z","isBasedOn":"https://compcert.org/","additionalProperty":[{"@type":"PropertyValue","name":"trust_level","value":88},{"@type":"PropertyValue","name":"verification_status","value":"sources_verified"},{"@type":"PropertyValue","name":"provenance_status","value":"valid"},{"@type":"PropertyValue","name":"evidence_level","value":"institutional"},{"@type":"PropertyValue","name":"content_hash","value":"058e02cc4828ee09f58de3a53d3a6ff6e141a0829735e2ca26dc26eb42724669"}]}