Items related to Systems and Software Verification: Model-Checking Techniques...
Synopsis
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the 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.
- PublisherSpringer
- Publication date2001
- ISBN 10 3540415238
- ISBN 13 9783540415237
- BindingHardcover
- LanguageEnglish
- Number of pages202
- Rating
Other Popular Editions of the Same Title
Search results for Systems and Software Verification: Model-Checking Techniques...
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1. Seller Inventory # G3540415238I4N00
Quantity: 1 available
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1. Seller Inventory # G3540415238I4N00
Quantity: 1 available
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: clickgoodwillbooks, Indianapolis, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Acceptable. This is a hard cover book: Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media. Seller Inventory # 3O6S10000P0X
Quantity: 1 available
Seller Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 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
Quantity: 1 available
Seller Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 190 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430. Seller Inventory # 2223803
Quantity: 1 available
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
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
Quantity: 1 available
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
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 # GOR014072380
Quantity: 1 available
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: BennettBooksLtd, North Las Vegas, NV, 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
Quantity: 1 available
Stock Image
Systems and Software Verification: Model-Checking Techniques and Tools
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020166659
Quantity: Over 20 available