{"product_id":"unfoldings-a-partial-order-approach-to-model-checking-von-javier-esparza-keijo-heljanko","title":"Unfoldings","description":"\n                                \n                \u003cp\u003eModel checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eIn this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540774259\"\u003e\u003ch3\u003eA Partial-Order Approach to Model Checking\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642096051\"\u003e\u003ch3\u003eA Partial-Order Approach to Model Checking\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9783540774259","offer_id":40590585593949,"sku":"9783540774259","price":106.99,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9783642096051","offer_id":39427186294877,"sku":"9783642096051","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/77ff516d-7b99-41e1-bd70-392007231440.jpg?v=1772173504","url":"https:\/\/shop.autorenwelt.de\/products\/unfoldings-a-partial-order-approach-to-model-checking-von-javier-esparza-keijo-heljanko","provider":"Autorenwelt Shop","version":"1.0","type":"link"}