SAT-Based Scalable Formal Verification Solutions
Author:   Malay Ganai ,  Aarti Gupta
Publisher:   Springer
ISBN:  

9780387517568


Pages:   360
Publication Date:   25 August 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

SAT-Based Scalable Formal Verification Solutions


Overview

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Full Product Details

Author:   Malay Ganai ,  Aarti Gupta
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 1.90cm , Length: 15.60cm
Weight:   0.503kg
ISBN:  

9780387517568


ISBN 10:   0387517561
Pages:   360
Publication Date:   25 August 2008
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now