Description: Systems and Software Verification : Model-Checking Techniques and Tools, Paperback by Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A., ISBN 3642074782, ISBN-13 9783642074783, Brand New, Free shipping in the US 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.
Price: 176.35 USD
Location: Jessup, Maryland
End Time: 2024-08-26T16:52:34.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Systems and Software Verification : Model-Checking Techniques and
Number of Pages: Xii, 190 Pages
Publication Name: Systems and Software Verification : Model-Checking Techniques and Tools
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2010
Subject: Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Electronics / General
Type: Textbook
Item Weight: 16 Oz
Subject Area: Computers, Technology & Engineering
Author: M. Bidoit, A. Finkel, A. Petit, F. Laroussinie, B. Berard
Item Length: 9.3 in
Item Width: 6.1 in
Format: Trade Paperback
