课程主页
上课时间地点
每周三7-8节
理教116
答疑时间地点
每周二、周三晚6:00 - 8:00
理科楼1484
|
|
时间 |
报告内容 |
报告人 |
|
1 |
2011.2.23 |
系统验证背景介绍，章节分配 |
孙猛 |
|
2 |
2011.3.2 |
并发系统建模 |
宋索源 |
|
3 |
2011.3.9 |
Reo简介 |
孙猛 |
|
4 |
2011.3.16 |
线性时间性质（第3章）
|
|
|
5 |
2011.3.23 |
正则性质（第4章）
|
|
| 6 | 2011.3.30
|
正则性质（第4章）
|
阚欣 |
线性时态逻辑LTL
|
周小博 |
||
|
7
|
2011.4.6
|
线性时态逻辑LTL |
|
|
8
|
2011.4.13 |
计算树逻辑CTL（第6章1-6节）
|
|
|
9
|
|
符号CTL模型检查，CTL* |
|
|
10 |
2011.4.27
|
模拟，Stutter关系
|
童嘉骏 |
|
11
|
2011.5.11
|
|
|
|
12
|
2011.5.18
|
时间自动机与UPPAAL
|
|
|
13 |
2011.5.25
|
SPIN介绍
|
|
|
14
|
2011.6.1
|
On
using data abstractions for model checking refinements |
|
Symbolic Model Checking for Channel-based Component Connectors |
|||
|
Partially-shared
zero suppressed multi-terminal BDDs: concept, algorithms and applications
|
|
||
|
15
|
2011.6.8
|
学生分组工作报告
|
|