+612 9045 4394
 
CHECKOUT
Systems and Software Verification : Model-Checking Techniques and Tools - B. Berard

Systems and Software Verification

Model-Checking Techniques and Tools

Hardcover Published: 1st August 2001
ISBN: 9783540415237
Number Of Pages: 190

Share This Book:

Hardcover

RRP $255.99
$176.90
31%
OFF
or 4 easy payments of $44.23 with Learn more
Ships in 10 to 15 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 15th December 2010
    $125.05

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.

Principles and Techniques: Introduction
Automata
Temporal Logic
Model Checking
Symbolic Model Checking
Timed Automata
Conclusion
Specifying with Temporal Logic: Introduction
Reachability Properties
Safety Properties
Liveness Properties
Deadlock-freeness
Fairness Properties
Abstraction Methods
Conclusion
Some Tools: Introduction
SMV - Symbolic Model Checking
Spin - Communication Automata
Design CPN - Coloured Petri Nets
Uppaal - Timed Systems
Kronos - Model Checking of Real-time Systems
HyTech - Linear Hybrid Systems
Main Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540415237
ISBN-10: 3540415238
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 190
Published: 1st August 2001
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.88  x 1.91
Weight (kg): 0.43