Sisäänkirjautuminen

Hachtel, Gary D.

Abstraction Refinement for Large Scale Model Checking

Hachtel, Gary D. - Abstraction Refinement for Large Scale Model Checking, e-kirja

84,65€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9780387346007
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

1. Introduction
2. Symbolic Model Checking
3. Abstraction
4. Refinement
5. Compositional SCC Analysis
6. Disjunctive Decomposition
7. Far Side Image Computation
8. Refining SAT Decision Ordering
9. Conclusions

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000

Tekijä(t)
 
 
Julkaisija
Springer
Julkaisuvuosi
2006
Kieli
en
Painos
1
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9780387346007

Samankaltaisia e-kirjoja