A Crash Course on Model Checking - session 2
326
21.7
Microsoft Research335 тыс
Следующее
25.08.16 – 15956:04Популярные
07.12.22 – 33327:48Опубликовано 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 дня – 7 6420:11
5 дней – 50 66813:02
9 дней – 1 0891:00
10 дней – 2 7162:04
12 дней – 792:30Случайные видео
348 дней – 5061:44
24.09.23 – 7600:32
06.05.23 – 1 949 98211:20
22.02.23 – 137 21933:50
20.01.23 – 7 9195:27
14.10.07 – 28 7472:53
2 дня – 9570:08
6 дней – 3896:54
6 дней – 4442:58
7 дней – 2482:19
9 дней – 6 1729:19
12 дней – 2230:58
2 дня – 29 35014:36