HOME > 상세정보

상세정보

Abstraction refinement for large scale model checking

Abstraction refinement for large scale model checking (1회 대출)

자료유형
단행본
개인저자
Wang, Chao. Hachtel, Gary D. Somenzi, Fabio.
서명 / 저자사항
Abstraction refinement for large scale model checking / Chao Wang, Gary D. Hachtel, Fabio Somenzi.
발행사항
New York, N.Y. :   Springer ,   c2006.  
형태사항
xiv, 179 p. : ill. ; 25 cm.
총서사항
Series on integrated circuits and systems
ISBN
9780387341552 0387341552 9780387346007 (e-book) 0387346007 (e-book)
서지주기
Includes bibliographical references (p. 156-169) and index.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 W246a 등록번호 121151368 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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


정보제공 : Aladin

관련분야 신착자료