Roadmap for Formal Property Verification

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

Autor: Pallab Dasgupta

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

106.06 €

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

Informácie o knihe

Autor

Pallab Dasgupta

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2006

Stránok

252

EAN

9781402047572

ISBN

1402047576

Enbook ID

01416700

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

1220

Rozmery

155 x 235 x 17

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Roadmap for Formal Property Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež