A Crash Course on Model Checking - session 2
323
21.5
Microsoft Research334 тыс
Следующее
25.08.16 – 15856:04Популярные
80 дней – 4 42915:12
08.11.23 – 1 3681:52Опубликовано 25 августа 2016, 20:57
Title: A Crash Course on Model Checking
Date: Three Sessions: 10/28/99, 11/4/99, 11/11/99
Description:
In recent years, model checking has been widely successful in finding bugs in hardware design, and protocol design. There have been recent attempts (in the past two years) in applying model checking to improve software reliability. This course is a tutorial introduction to model checking.
We will start with models, specification logics, and the model checking problem, which is to check if a formula holds in a model. We will survey model checking algorithms for different kinds of temporal logics. Then, we will study the state-explosion problem that arises in model construction, and various techniques to handle state-explosion (including binary decision diagrams, partial order methods, symmetry, assume-guarantee, and abstractions). We will conclude with a survey of what has been tried in applying model checking to software.
Prerequisites: None
Reading Materials: None
Date: Three Sessions: 10/28/99, 11/4/99, 11/11/99
Description:
In recent years, model checking has been widely successful in finding bugs in hardware design, and protocol design. There have been recent attempts (in the past two years) in applying model checking to improve software reliability. This course is a tutorial introduction to model checking.
We will start with models, specification logics, and the model checking problem, which is to check if a formula holds in a model. We will survey model checking algorithms for different kinds of temporal logics. Then, we will study the state-explosion problem that arises in model construction, and various techniques to handle state-explosion (including binary decision diagrams, partial order methods, symmetry, assume-guarantee, and abstractions). We will conclude with a survey of what has been tried in applying model checking to software.
Prerequisites: None
Reading Materials: None
Свежие видео
4 дня – 4 15613:13
4 дня – 11 8831:01
6 дней – 1 4525:37
6 дней – 365 4369:09
6 дней – 173 3650:41
7 дней – 1 0470:58Случайные видео
2 дня – 4 3213:24
190 дней – 4 9790:30
20.08.23 – 220 50310:18
21.10.22 – 8 8690:29
02.11.21 – 5231:10
12.09.21 – 2 106 67014:23
3 дня – 1 6641:22
8 дней – 1 437 19725:24
10 дней – 1 290 10216:12
11 дней – 140 3540:39
11 дней – 1827:27
12 дней – 1450:19
