Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Systems and Software Verification

Name: Systems and Software Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01652609
Price: 150.19 EUR
Availability: InStock
Author: B. Berard
ISBN: 9783642074783

Language

English

Book Paperback

Libristo code: 01652609

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2010

Model checking is a powerful approach for the formal verification of software. It automatically prov... Full description

Libristo code: 01652609

368 b

150.19 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Proces Politique Et Republicain Du Citoyen Auguste Caunes Sans Auteur

Paperback

14.19 €

Maoři Václav Černý

Hardback

17.19 €

Иди и делай. 12 принципов жизни, полной побед и достижений

Hardback

20.09 €

Un chien à ma table Hunzinger

Paperback

32.59 €

The Fame Monster Lady Gaga Audio

Audio CD

10.59 €

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.