HOME > Detail View

Detail View

Abstraction refinement for large scale model checking

Abstraction refinement for large scale model checking (Loan 1 times)

Material type
단행본
Personal Author
Wang, Chao. Hachtel, Gary D. Somenzi, Fabio.
Title Statement
Abstraction refinement for large scale model checking / Chao Wang, Gary D. Hachtel, Fabio Somenzi.
Publication, Distribution, etc
New York, N.Y. :   Springer ,   c2006.  
Physical Medium
xiv, 179 p. : ill. ; 25 cm.
Series Statement
Series on integrated circuits and systems
ISBN
9780387341552 0387341552 9780387346007 (e-book) 0387346007 (e-book)
Bibliography, Etc. Note
Includes bibliographical references (p. 156-169) and index.
Subject Added Entry-Topical Term
Computer systems -- Verification -- Mathematical models. Integrated circuits -- Verification -- Mathematical models. Electronic systems -- Verification -- Mathematical models.
000 01267camuu22003497a 4500
001 000045374858
005 20070806113005
008 060420s2006 nyua b 001 0 eng d
010 ▼a 2006926215
020 ▼a 9780387341552
020 ▼a 0387341552
020 ▼a 9780387346007 (e-book)
020 ▼a 0387346007 (e-book)
035 ▼a (KERIS)REF000012912664
040 ▼a HKP ▼c HKP ▼d OHX ▼d NIC ▼d DLC ▼d 211009
042 ▼a lccopycat
050 0 0 ▼a QA76.76.V47 ▼b W36 2006
082 0 0 ▼a 004.2/1 ▼2 22
090 ▼a 004.21 ▼b W246a
100 1 ▼a Wang, Chao.
245 1 0 ▼a Abstraction refinement for large scale model checking / ▼c Chao Wang, Gary D. Hachtel, Fabio Somenzi.
260 ▼a New York, N.Y. : ▼b Springer , ▼c c2006.
300 ▼a xiv, 179 p. : ▼b ill. ; ▼c 25 cm.
440 0 ▼a Series on integrated circuits and systems
504 ▼a Includes bibliographical references (p. 156-169) and index.
650 0 ▼a Computer systems ▼x Verification ▼x Mathematical models.
650 0 ▼a Integrated circuits ▼x Verification ▼x Mathematical models.
650 0 ▼a Electronic systems ▼x Verification ▼x Mathematical models.
700 1 ▼a Hachtel, Gary D.
700 1 ▼a Somenzi, Fabio.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.21 W246a Accession No. 121151368 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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


Information Provided By: : Aladin

New Arrivals Books in Related Fields