Unfoldings: A Partial-Order Approach to Model Checking

by Keijo Heljanko and Javier Esparza

Book Overview

Transition Systems and Products.- Unfolding Products.- Search Procedures for the Executability Problem.- More on the Executability Problem.- Search Procedures for the Repeated Executability Problem.- Search Procedures for the Livelock Problem.- Model Checking LTL.- Summary, Applications, Extensions, and Tools.

• Format: Paperback
• Language: English
• ISBN: 3642096050
• ISBN13: 9783642096051
• Release Date: November 2010
• Publisher: Springer
• Length: 172 Pages
• Weight: 0.59 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"