WangZai

Books

Books

阅读清单与书评摘记。

reference

Handbook of Model Checking（选读卡片）

作为参考书收录：符号模型检测、SAT-based BMC、抽象解释等章节的阅读状态与笔记入口。

formalverificationreading
reading

Handbook of Model Checking

模型检测领域的手册级参考；适合按章节深挖，不必通读。

模型检测形式化验证