Items related to Principles of Model Checking (Mit Press)

Principles of Model Checking (Mit Press) - Hardcover

  • 4.06 out of 5 stars
    31 ratings by Goodreads
 
9780262026499: Principles of Model Checking (Mit Press)

Synopsis

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.

The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

"synopsis" may belong to another edition of this title.

About the Author

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.

Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Very Good
The book has been read, but is...
View this item

US$ 7.56 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Search results for Principles of Model Checking (Mit Press)

Stock Image

Joost-Pieter Katoen
Published by The MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
Used Hardcover

Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR013872585

Contact seller

Buy Used

US$ 68.45
Convert currency
Shipping: US$ 7.56
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Baier, Christel, Katoen, Joost-Pieter
Published by The MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
Used Hardcover

Seller: SecondSale, Montgomery, IL, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00089989761

Contact seller

Buy Used

US$ 127.89
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Joost-Pieter Katoen Christel Baier
Published by MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. xvii + 975. Seller Inventory # 26693375

Contact seller

Buy New

US$ 123.92
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 3 available

Add to basket

Stock Image

Christel Baier
Published by The MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-315963

Contact seller

Buy New

US$ 137.57
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Joost-Pieter Katoen Christel Baier
Published by MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. xvii + 975 Illus. Seller Inventory # 8203168

Contact seller

Buy New

US$ 136.33
Convert currency
Shipping: US$ 8.78
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Baier, Christel; Katoen, Joost-Pieter
Published by The MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: ALLBOOKS1, Direk, SA, Australia

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Seller Inventory # SHUB315963

Contact seller

Buy New

US$ 149.76
Convert currency
Shipping: FREE
From Australia to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Joost-Pieter Katoen Christel Baier
Published by MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. xvii + 975. Seller Inventory # 18693365

Contact seller

Buy New

US$ 151.52
Convert currency
Shipping: US$ 11.63
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Baier, Christel
Published by MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: GoldBooks, Denver, CO, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: new. Seller Inventory # 76G66_20_026202649X

Contact seller

Buy New

US$ 187.49
Convert currency
Shipping: US$ 4.25
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Baier, Christel; Katoen, Joost-Pieter; Larsen, Kim G. (FRW)
Published by The MIT Press, 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5433050-n

Contact seller

Buy New

US$ 198.84
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Christel Baier
Published by MIT Press Ltd, Cambridge, Mass., 2008
ISBN 10: 026202649X ISBN 13: 9780262026499
New Hardcover

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: new. Hardcover. A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature. A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780262026499

Contact seller

Buy New

US$ 201.49
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 5 more copies of this book

View all search results for this book