SAT-Based Scalable Formal Verification Solutions
171,19 €
inkl. 7% MwSt. und
ggf. zzgl. Versand
<P>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. </P>
![SAT-Based Scalable Formal Verification Solutions SAT-Based Scalable Formal Verification Solutions](https://cos.richshop.de/servlet/images/9780387691671.jpg?w=300)
- Autor: Malay Ganai / Aarti Gupta
- Seitenzahl: 330
- Format: PDF
- DRM: social-drm (ohne Kopierschutz)
- Erscheinungsdatum: 26.05.2007
- Herausgeber: SPRINGER