Skip to content

Systems and Software Verification: Model-Checking Techniques and Tools
Stock Photo: Cover May Be Different

Systems and Software Verification: Model-Checking Techniques and Tools Hardcover - 2001 - 2001st Edition

by B. Berard; P. McKenzie (Translator); M. Bidoit


From the publisher

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

First line

HASH(0x110d9440)

Details

  • Title Systems and Software Verification: Model-Checking Techniques and Tools
  • Author B. Berard; P. McKenzie (Translator); M. Bidoit
  • Binding Hardcover
  • Edition number 2001st
  • Edition 2001
  • Pages 190
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2001-06-20
  • Illustrated Yes
  • ISBN 9783540415237 / 3540415238
  • Weight 0.91 lbs (0.41 kg)
  • Dimensions 9.44 x 6.38 x 0.62 in (23.98 x 16.21 x 1.57 cm)
  • Library of Congress Catalog Number 2001032056
  • Dewey Decimal Code 005.14
Back to Top

More Copies for Sale

Systems and Software Verification: Model-Checking Techniques and Tools
Stock Photo: Cover May Be Different

Systems and Software Verification: Model-Checking Techniques and Tools

by Berard, B. et al

  • Used
  • Hardcover
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9783540415237 / 3540415238
Quantity Available
1
Seller
Lincoln, Lincolnshire, Aberdeen, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$13.04
$16.15 shipping to USA

Show Details

Description:
Springer, 2001. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237
Item Price
$13.04
$16.15 shipping to USA
Systems and Software Verification: Model-Checking Techniques and Tools
Stock Photo: Cover May Be Different

Systems and Software Verification: Model-Checking Techniques and Tools

by M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie

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

Show Details

Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$20.15
$12.00 shipping to USA
Systems and Software Verification: Model-Checking Techniques and Tools
Stock Photo: Cover May Be Different

Systems and Software Verification: Model-Checking Techniques and Tools

by M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie

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

Show Details

Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$42.62
$12.00 shipping to USA
Systems and Software Verification: Model-Checking Techniques and Tools
Stock Photo: Cover May Be Different

Systems and Software Verification: Model-Checking Techniques and Tools

by Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540415237 / 3540415238
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
$91.62
$5.45 shipping to USA

Show Details

Description:
Springer, 2001-06-20. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$91.62
$5.45 shipping to USA
Systems and Software Verification : Model-Checking Techniques and Tools
Stock Photo: Cover May Be Different

Systems and Software Verification : Model-Checking Techniques and Tools

by B. Berard

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540415237 / 3540415238
Quantity Available
241
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$169.92
$10.12 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Systems and Software Verification : Model-Checking Techniques and Tools.
Item Price
$169.92
$10.12 shipping to USA
Systems and Software Verification: Model-Checking Techniques and Tools
Stock Photo: Cover May Be Different

Systems and Software Verification: Model-Checking Techniques and Tools

by Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540415237 / 3540415238
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$222.00
$10.00 shipping to USA

Show Details

Description:
Springer. hardcover. New. 9x0x6. Brand New Book in Publishers original Sealing
Item Price
$222.00
$10.00 shipping to USA