|
00:06:37
|
Learning a Transition System |
|
00:08:55
|
Sequence Abstraction |
|
00:09:50
|
Set Abstraction |
|
00:10:29
|
Multiset Abstraction |
|
00:24:02
|
Extensions & Variations |
|
00:26:07
|
Postprocessing |
|
00:31:59
|
Using Regions to Discover Concurrency |
|
00:37:12
|
Definition of Region |
|
01:10:09
|
The need for refinements |
|
01:30:36
|
Demo |
|
01:38:11
|
Summary |