Roadmap for Formal Property Verification

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

Szerző: Pallab Dasgupta

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

41 425 Ft

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

Információk a könyvről

Szerző

Pallab Dasgupta

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2006

oldal

252

EAN

9781402047572

ISBN

1402047576

Enbook ID

01416700

Kiadó

Springer-Verlag New York Inc.

Súly

1220

Méretek

155 x 235 x 17

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Roadmap for Formal Property Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták