10% OFF

Systems And Software Verification

Model-Checking Techniques And Tools

by B. Berard, A. Finkel, F. Laroussinie, M. Bidoit, L. Petrucci, P. Schnoebelen e A. Petit
language: english
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, December of 2010 ‧
162,21€
10% OFF CARD
free shipping
Sell ​​your book
Model checking is a powerful approach for the formal verification of software. 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.

Systems And Software Verification

Model-Checking Techniques And Tools

by B. Berard, A. Finkel, F. Laroussinie, M. Bidoit, L. Petrucci, P. Schnoebelen e A. Petit

Property Description
ISBN: 9783642074783
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Release Date: December of 2010
Language: English
Cover: Softcover
Pages: 190
Format: Book
Categories: Books in English > Computing > Hardware
EAN: 9783642074783