唠叨几句 目前在学习模型验证，导师给了一本书Handbook of Model Checking 2018 一本文献综述看，都是英文的，看的很慢。里面有数学推导过程&