Skip to content

Model Checking
Stock Photo: Cover May Be Different

Model Checking Hardcover - 1999

by Edmund M. Jr; Orna Grumberg; Doron Peleg


From the publisher

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers.

The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years.

This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers.

Details

  • Title Model Checking
  • Author Edmund M. Jr; Orna Grumberg; Doron Peleg
  • Binding Hardcover
  • Edition First Edition
  • Pages 330
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cambridge
  • Date January 7, 1999
  • ISBN 9780262032704 / 0262032708
  • Weight 1.55 lbs (0.70 kg)
  • Dimensions 9.25 x 7.28 x 0.91 in (23.50 x 18.49 x 2.31 cm)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Library of Congress subjects Computer systems - Verification
  • Library of Congress Catalog Number 99017979
  • Dewey Decimal Code 004.21

About the author

Doron Peled is Professor of Computer Science at the University of Warwick, Coventry, UK.

Back to Top

More Copies for Sale

Model Checking (Cyber Physical Systems Series)
Stock Photo: Cover May Be Different

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

  • Used
  • Hardcover
Condition
Like New
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
2
Seller
McKeesport, Pennsylvania, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$4.05
$3.75 shipping to USA

Show Details

Description:
The MIT Press, 12/20/1999. Hardcover. Like New. 0x0x0. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
Item Price
$4.05
$3.75 shipping to USA
Model Checking (Cyber Physical Systems Series)
Stock Photo: Cover May Be Different

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

  • Used
  • Hardcover
Condition
Like New
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
13
Seller
McKeesport, Pennsylvania, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$4.06
$3.75 shipping to USA

Show Details

Description:
The MIT Press, 12/20/1999. hardcover. Like New. 9x7x0. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
Item Price
$4.06
$3.75 shipping to USA
Model Checking
Stock Photo: Cover May Be Different

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg et Doron Peleg

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
1
Seller
Morangis, France
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$5.99
$12.00 shipping to USA

Show Details

Description:
MIT Press, 1999. Hardcover. Very Good. Former library book. Different cover. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$5.99
$12.00 shipping to USA
Model Checking

Model Checking

by Edmund M. Clarke; Orna Grumberg; Doron Peled

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$7.98
FREE shipping to USA

Show Details

Description:
MIT Press, 1999. Hardcover. Good. Disclaimer:A copy that has been read, but remains in clean condition. All pages are intact, and the cover is intact. The spine may show signs of wear. Pages can include limited notes and highlighting, and the copy can include previous owner inscriptions. At ThriftBooks, our motto is: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$7.98
FREE shipping to USA
Model Checking

Model Checking

by Jr, Edmund M. Clarke; Grumberg, Orna; Peleg, Doron

  • Used
  • Acceptable
  • Hardcover
Condition
Used - Acceptable
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$7.98
FREE shipping to USA

Show Details

Description:
MIT Press, 1999. Hardcover. Acceptable. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$7.98
FREE shipping to USA
Model Checking
Stock Photo: Cover May Be Different

Model Checking

by Edmund M. Clarke Jr.; Orna Grumberg; Doron A. Peled

  • Used
  • Hardcover
Condition
Used: Good
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$10.37
FREE shipping to USA

Show Details

Description:
The MIT Press, 1999-01-07. Hardcover. Used: Good.
Item Price
$10.37
FREE shipping to USA
Model Checking
Stock Photo: Cover May Be Different

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

  • Used
  • Hardcover
Condition
Used:Good
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$40.68
FREE shipping to USA

Show Details

Description:
The MIT Press, 1999-01-07. Hardcover. Used:Good.
Item Price
$40.68
FREE shipping to USA
MODEL CHECKING
Stock Photo: Cover May Be Different

MODEL CHECKING

by Clarke, Grumberg & Peled

  • Used
  • near fine
  • Hardcover
  • first
Condition
Used - Near Fine
Edition
First Edition
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
1
Seller
Ottawa, Ontario, Canada
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$46.00
$23.00 shipping to USA

Show Details

Description:
Cambridge, MA: The MIT Press, 1999. 314 pages in excellent condition. Blue cloth with silver titles Corners not bumped. White DJ with illustration and green titles. Very light wear on jacket. NEAR FINE/NEAR FINE. First Edition. Hard Cover. Near Fine/Near Fine.
Item Price
$46.00
$23.00 shipping to USA
Model Checking (Cyber Physical Systems Series)
Stock Photo: Cover May Be Different

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clarke Jr.; Orna Grumberg; Doron A. Peled

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262032704
ISBN 10
0262032708
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$64.23
$5.45 shipping to USA

Show Details

Description:
The MIT Press, 1999-01-07. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$64.23
$5.45 shipping to USA