Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781441959973
Price: 2567 CZK
Availability: InStock

Autor: Sandip Ray

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č

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ...

Informace o knize

Autor

Sandip Ray

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2010

Stránek

243

EAN

9781441959973

ISBN

1441959971

Enbook ID

01423877

Vydavatel

Springer-Verlag New York Inc.

Hmotnost

1200

Rozměry

155 x 235 x 25

Kompletní popis

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

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

Scalable Techniques for Formal Verification

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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