Name: abstraction refinement for large scale model checking (en Inglés)
Price: 318.68 PEN
Availability: InStock
Author: wang,hachtel,somenzi
ISBN: 9780387341552

portada abstraction refinement for large scale model checking (en Inglés)

abstraction refinement for large scale model checking (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

wang,hachtel,somenzi

Idioma

Inglés

N° páginas

186

ISBN

0387341552

ISBN13

9780387341552

Categorías

Manufactura asistida por ordenador (cam)
Diseño asistido por ordenador (cad)

abstraction refinement for large scale model checking (en Inglés)

Wang,Hachtel,Somenzi (Autor) · Springer · Libro Físico

Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 708,17S/ 318,68

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

S/ 318,68

Llega entre el 19 Ago y el 27 Ago a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "abstraction refinement for large scale model checking (en Inglés)"

abstraction refinement for large scale model checking summarizes recent research on abstraction techniques for model checking large digital system. considering both the size of todays digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. this book describes recent research developments in automatic abstraction refinement techniques. the suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the eda companies in their commercial/in-house verification tools.