Carte Abstraction Refinement for Large Scale Model Checking Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking

Autor: Fabio Somenzi
Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
607.56 lei
This book summarizes recent research on abstraction techniques for model checking large digital syst...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2014
Pagini
179
EAN
9781489993953
ISBN
9781489993953
Enbook ID
09165444
Greutate
257
Dimensiuni
210 x 2 x 11

Descriere completă

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's 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. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§

S-ar putea să te intereseze

260.90 lei

Da Nang Bound -- A Legacy of War

MR Frank William Skilbeck
65.02 lei

Becoming Peace

Kamra Smith
93.53 lei

Birth of a Nation

D.W. Griffith
162.40 lei

Lore

Craig Saunders
60.26 lei
82.51 lei

Tetherball

Jessica Coupé
65.32 lei
103.34 lei
110.93 lei
617.68 lei

Clienții care au cumpărat această carte au mai cumpărat și

88.27 lei

SOÑANDO EN LA MAR AMARGA

FEDERICO GARCIA LORCA
41.45 lei
203.46 lei
140.46 lei
71.18 lei

Saxophon ab 130

Matthias Böyer
137.52 lei

Nagy rejtvénykönyv 11.

Kresz Károly (Szerk.)
43.98 lei
51.77 lei