Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Abstraction Refinement for Large Scale Model Checking
.
Bookmark für diesen Satz setzen
Katalogdatensatz500114246
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500114246
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
ISBN
978-0-387-34155-2
Name
Wang, Chao
Hachtel, Gary D.
Name ANZEIGE DER KETTE
Hachtel, Gary D.
Name
Somenzi, Fabio
T I T E L
Abstraction Refinement for Large Scale Model Checking
Verlagsort
Boston, MA
Verlag
Springer Science+Business Media, LLC
Erscheinungsjahr
2006
2006
Umfang
Online-Ressource (XIV, 179 p, digital)
Reihe
Series on Integrated Circuits and Systems
Notiz / Fußnoten
Includes bibliographical references and index
Weiterer Inhalt
Introduction; Symbolic Model Checking; Abstraction; Refinement; Compositional SCC Analysis; Disjunctive Decomposition; Far Side Image Computation; Refining SAT Decision Ordering; Conclusions
Titelhinweis
Buchausg. u.d.T.ISBN: 978-0-387-34155-2
ISBN
ISBN 978-0-387-34600-7
Klassifikation
TJFC
TEC008010
THR
TEC007000
621.3815
621.3
004.21
330
TK7888.4
Kurzbeschreibung
Symbolic Model Checking -- Abstraction -- Refinement -- Compositional SCC Analysis -- Disjunctive Decomposition -- Far Side Image Computation -- Refining SAT Decision Ordering -- Conclusions.
2. Kurzbeschreibung
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital systems. Considering both 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. This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools. Abstraction Refinement for Large Scale Model Checking will be of interest to EDA researchers and tool developers, verification engineers, as well as people who are in the general areas of computer science and want to know the state-of-the-art of formal verification.
SWB-Titel-Idn
264336801
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/0-387-34600-7
Internetseite / Link
Volltext
Siehe auch
Volltext
Siehe auch
Cover
Siehe auch
Kapitel 2
.
ISBD-Anzeige
Katalogdatensatz500114246
.
Kategorien-Anzeige
Katalogdatensatz500114246
.
Verwandte Werke
Katalogdatensatz500114246
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500114246
.
Kataloginformation500114246
Datensatzanfang
.
Kataloginformation500114246
Seitenanfang
.
Titel vormerken
Katalogdatensatz500114246
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach