Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Unfoldings

Name: Unfoldings
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642096051
Price: 105.41 EUR
Availability: InStock

A Partial-Order Approach to Model Checking

Автор: Javier Esparza, Keijo Heljanko

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

105.41 € 206.16 лв

In this book the authors introduce unfoldings, an approach to model checking which alleviates the st...

Информация за книгата

Автор

Javier Esparza, Keijo Heljanko

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

172

EAN

9783642096051

ISBN

3642096050

Enbook ID

01654485

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

290

Размери

155 x 235 x 9

Пълно описание

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.