Kniha Abstraction Refinement for Large Scale Model Checking Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking

Autor: Fabio Somenzi
Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 505
This book summarizes recent research on abstraction techniques for model checking large digital syst...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
179
EAN
9781489993953
ISBN
9781489993953
Enbook ID
09165444
Hmotnost
257
Rozměry
210 x 2 x 11

Kompletní popis

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.§

Mohlo by vás zajímat

1 135

Da Nang Bound -- A Legacy of War

MR Frank William Skilbeck
271

Becoming Peace

Kamra Smith
391

Birth of a Nation

D.W. Griffith
668

Lore

Craig Saunders
251
356

Tetherball

Jessica Coupé
266
455
2 845

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

406

SOÑANDO EN LA MAR AMARGA

FEDERICO GARCIA LORCA
170
833
328

Saxophon ab 130

Matthias Böyer
633

Nagy rejtvénykönyv 11.

Kresz Károly (Szerk.)
179