This item has FREE SHIPPING to any address in NZ

NOTE: Item will ship from our US warehouse. A handling time of 2-4 business days applies for all orders. Delivery will then take 3-10 working days.

Systems and Software Verification: Model-Checking Techniques and Tools

Description: 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.

Condition: BRAND NEW ISBN: 9783540415237 Author(s): Beatrice Berard Format: Hardcover Language: English Year: 2001 Edition: 1st Publisher: Springer Pages: 190

BUYER OFFERS: We are a retail store with set pricing and unfortunately we can't fulfil any requests to sell items for less than the listed price.

About Us: The Nile New Zealand is your one-stop location for books, movies & music.

Over 7 million items to choose from; Great prices; free shipping anywhere in New Zealand; 1 working day responses to any email queries;