Unfoldings

1. Introduction
Javier Esparza, Dr. Keijo Heljanko

2. Transition Systems and Products
Javier Esparza, Dr. Keijo Heljanko

3. Unfolding Products
Javier Esparza, Dr. Keijo Heljanko

4. Search Procedures for the Executability Problem
Javier Esparza, Dr. Keijo Heljanko

5. More on the Executability Problem
Javier Esparza, Dr. Keijo Heljanko

6. Search Procedures for the Repeated Executability Problem
Javier Esparza, Dr. Keijo Heljanko

7. Search Procedures for the Livelock Problem
Javier Esparza, Dr. Keijo Heljanko

8. Model Checking LTL
Javier Esparza, Dr. Keijo Heljanko

9. Summary, Applications, Extensions, and Tools
Javier Esparza, Dr. Keijo Heljanko

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: COMPUTERS / Computer Science COM014000