Menu
Află starea comenzii
Contactați-ne
Carte Systems and Software Verification B. Berard

Systems and Software Verification

Model-Checking Techniques and Tools

Autor: B. Berard, Michel Bidoit, Alain Finkel
Limbă: engleză
Legare: Copertă tare
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
840.64 lei
Model checking is a powerful approach for the formal verification of software. When applicable, it a...

Informații despre carte

Autor
B. Berard, Michel Bidoit, Alain Finkel
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2001
Pagini
190
EAN
9783540415237
ISBN
3540415238
Enbook ID
01563234
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
492
Dimensiuni
166 x 242 x 24

Descriere completă

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.

S-ar putea să te intereseze

Materials Reliability in Microelectronics III: Volume 309

Kenneth P. Rodbell
202.84 lei

John Henry Spree's Nottinghamshire

Alan Spree
86.90 lei