模型检查简介 – 第 1 讲：动机 电子书下载

原名:Introduction to Model Checking – Lecture # 1: Motivation
作品简介:2013 年 10 月 14 日 第 1 讲：动机、背景和课程组织。教授、博士、Ir。乔斯特-
彼得·卡托恩.主持软件建模和验证。……