Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Unfoldings

- A Partial-Order Approach to Model Checking (2008)

  • Format
  • Bog, hardback
  • Engelsk

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer
Størrelse og vægt
  • Vægt454 g
  • Dybde2 cm
  • coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Machine Name: SAXO083