Roadmap for Formal Property Verification

Name: Roadmap for Formal Property Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781402047572
Price: 582.71 RON
Availability: InStock

Autor: Pallab Dasgupta

Limbă:

Legare: Copertă tare

Editura: Springer-Verlag New York Inc.

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

582.71 lei

Integrating formal property verification (FPV) into an existing design process raises several intere...

Informații despre carte

Autor

Pallab Dasgupta

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2006

Pagini

252

EAN

9781402047572

ISBN

1402047576

Enbook ID

01416700

Editura

Springer-Verlag New York Inc.

Greutate

1220

Dimensiuni

155 x 235 x 17

Descriere completă

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples you do not need any background on formal methods to read most parts of this book.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Roadmap for Formal Property Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și