形式化验证模型检测和数理逻辑经典书籍系列(3)
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust);Formal_Correctness_of_Security_Protocols;FUNDAMENTALS OF WIRELESS COMMUNICATION;Course in Modal Logic;模态逻辑讲义
下载地址
用户评论
很好的初学者的讲义，形式化验证的精髓。