Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Systems and Software Verification: Model-Checking Techniques...
Seller Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.3540415238.G
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. 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. Seller Inventory # 9428000
Buy Used
US$ 14.20
US$ 18.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: PAPER CAVALIER UK, London, United Kingdom
Seller rating 4 out of 5 stars
Condition: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block. Seller Inventory # 9783540415237-3
Buy Used
US$ 27.57
US$ 8.12 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-3540415238
Seller Image
Systems and Software Verification : Model-Checking Techniques and Tools
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 915765-n
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540415237_new
Buy New
US$ 176.43
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Systems and Software Verification : Model-Checking Techniques and Tools
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 915765-n
Buy New
US$ 176.41
US$ 20.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Systems and Software Verification
Published by
Springer Berlin Heidelberg, 2001
ISBN 10: 3540415238
ISBN 13: 9783540415237
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel 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 corr. Seller Inventory # 4889302
Buy New
US$ 154.96
US$ 57.40 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Systems and Software Verification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 212. Seller Inventory # 26302530
Stock Image
Systems and Software Verification
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 212 Illus. Seller Inventory # 7545373
Buy New
US$ 231.40
US$ 8.79 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available