Scientific Computing and Scientific AI
Formal Methods Target Selector and Proof-Obligation Mapper
Maps a system to TLA+/Dafny/Lean/Rocq/SMT-style proof obligations and readiness gaps.
Artifact: Formal-methods target and proof-obligation map · Maturity: Prototype · Version: 1.0
Preliminary research output. Human review required. Not certification, professional advice, regulatory approval, clinical approval, mission clearance, or operational authorization.