具体描述
作者简介
目录信息
读后感
用户评价
系统和软件验证入门级的书，这本书可以了解到：同步的两种形式：消息传递和共享变量；模型验证的状态空间爆炸；基于BDD的模型验证；时间自动机；一些常见的验证工具
系统和软件验证入门级的书，这本书可以了解到：同步的两种形式：消息传递和共享变量；模型验证的状态空间爆炸；基于BDD的模型验证；时间自动机；一些常见的验证工具
系统和软件验证入门级的书，这本书可以了解到：同步的两种形式：消息传递和共享变量；模型验证的状态空间爆炸；基于BDD的模型验证；时间自动机；一些常见的验证工具
系统和软件验证入门级的书，这本书可以了解到：同步的两种形式：消息传递和共享变量；模型验证的状态空间爆炸；基于BDD的模型验证；时间自动机；一些常见的验证工具
系统和软件验证入门级的书，这本书可以了解到：同步的两种形式：消息传递和共享变量；模型验证的状态空间爆炸；基于BDD的模型验证；时间自动机；一些常见的验证工具
