Unverified50% confidenceFactExact time
Leslie Lamport开发的TLA+是目前工业界最成熟的形式规范工具
1
Sources
50%
Confidence
Long-term
Relevance
7/9/2026
First Seen
Sources
提示即平台：AI Agent如何深度参与系统设计与规范
bilibiliMindofuture7/5/2026
Related Claims
Cite This Claim
Stable URI
https://kongchang.com/claim/401679API
curl https://kongchang.com/api/v1/knowledge/claims/401679MCP
get_claim(id=401679)