Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Systems and Software Verification

Name: Systems and Software Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01652609
Price: 55714 HUF
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

379 b

55 714 Ft

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

5 237 Ft

Maoři Václav Černý

Hardback

5 840 Ft

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

Hardback

6 855 Ft

Un chien à ma table Hunzinger

Paperback

11 252 Ft

The Fame Monster Lady Gaga Audio

Audio CD

3 822 Ft

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.