shrik3 · 2025-05-07T16:37:40Z 内存模型与形式化 💡 原文英文，约100词，阅读约需1分钟。 📝 内容提要 正式语言（如模型检查和形式验证）对我来说是新知识，我希望在此进行简要回顾，以便快速参考。 🎯 关键要点 正式语言是模型检查和形式验证的基础。 作者对正式语言的知识较为陌生。 作者希望通过回顾来快速参考这些概念。 🏷️ 标签 内存 形式验证 新知识 模型检查 正式语言 阅读原文 生成长图 分享链接 已复制链接
