Roadmap for Formal Property Verification

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

Autor: Pallab Dasgupta

Jazyk:

Vazba: Pevná

Vydavatel: Springer-Verlag New York Inc.

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

2 567 Kč

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

Informace o knize

Autor

Pallab Dasgupta

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2006

Stránek

252

EAN

9781402047572

ISBN

1402047576

Enbook ID

01416700

Vydavatel

Springer-Verlag New York Inc.

Hmotnost

1220

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Roadmap for Formal Property Verification

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také