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 9.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: 01563234
Price: 165.38 EUR
Availability: InStock
Author: B. Berard
ISBN: 9783540415237

Model-Checking Techniques and Tools

B. Berard

Michel Bidoit

Alain Finkel

Language

English

Book Hardback

Libristo code: 01563234

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2001

Model checking is a powerful approach for the formal verification of software. When applicable, it a... Full description

Libristo code: 01563234

400 b

165.38 €

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Tout faire pousser en pots Alex Mitchel

Paperback

23.75 €

La Légende des Templiers - tome 1 L'épée Paul Christopher

Paperback

21.42 €

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this 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 themajor model checkers available.