符号化模型检测CTL

时间：2014-05-26 10:41:50
【文件属性】：

文件名称：符号化模型检测CTL

文件大小：591KB

文件格式：PDF

更新时间：2014-05-26 10:41:50

模型检测；时态逻辑

符号化的模型检测CTL*, 作者苏开乐 关键词 模型检测；时态逻辑； 有序二值判定图 （OBDD ）

立即下载

网友评论

  • 还可以，值得一看

相关文章