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

DPD courier 4.99 € GLS courier 11.49 €

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: 144.22 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

349 b

144.22 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Proces Politique Et Republicain Du Citoyen Auguste Caunes Sans Auteur

Paperback

13.66 €

Maoři Václav Černý

Hardback

16.40 €

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

Hardback

19.23 €

Un chien à ma table Hunzinger

Paperback

31.69 €

The Fame Monster Lady Gaga Audio

Audio CD

10.02 €

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.