libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

wang chao; hachtel gary d.; somenzi fabio - abstraction refinement for large scale model checking
Zoom

Abstraction Refinement for Large Scale Model Checking

; ;




Disponibilità: Normalmente disponibile in 15 giorni
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
121,98 €
NICEPRICE
115,88 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 12/2014
Edizione: 2006





Trama

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. 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 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.




Sommario

Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.




I LIBRI CHE INTERESSANO A CHI HA I TUOI GUSTI

Theory of electrical machines



I LIBRI ACQUISTATI DA CHI HA I TUOI GUSTI

Manuale di estimo
Manuale di elettrotecnica elettronica e automazione
Manuale del geometra
Manuale di meccanica
Manuale di agricoltura



Altre Informazioni

ISBN:

9781489993953

Condizione: Nuovo
Collana: Integrated Circuits and Systems
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:XIV, 179 p.
Pagine Arabe: 179
Pagine Romane: xiv


Dicono di noi





Per noi la tua privacy è importante


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie
Rifiuta Tutti i cookie
Accetto tutti i cookie
X