内存模型与形式化

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

正式语言(如模型检查和形式验证)对我来说是新知识,我希望在此进行简要回顾,以便快速参考。

🎯

关键要点

  • 正式语言是模型检查和形式验证的基础。
  • 作者对正式语言的知识较为陌生。
  • 作者希望通过回顾来快速参考这些概念。
➡️

继续阅读