| 000 | 01106camuu22003134a 4500 | |
| 001 | 000000885378 | |
| 005 | 20040622170333 | |
| 008 | 030930s2004 gw a b 001 0 eng | |
| 010 | ▼a 2003066407 | |
| 015 | ▼a GBA4-00520 | |
| 020 | ▼a 3540002960 (alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d OHX ▼d UKM ▼d C#P ▼d 211009 | |
| 042 | ▼a pcc | |
| 049 | ▼a KUBA ▼l 121095329 ▼f 과학 | |
| 050 | 0 0 | ▼a QA76.76.V47 ▼b S34 2004 |
| 072 | 7 | ▼a QA ▼2 lcco |
| 082 | 0 0 | ▼a 004.2/1 ▼2 22 |
| 090 | ▼a 004.21 ▼b S359v | |
| 100 | 1 | ▼a Schneider, Klaus, ▼d 1967- |
| 245 | 1 0 | ▼a Verification of reactive systems : ▼b formal methods and algorithms / ▼c Klaus Schneider. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c2004. | |
| 300 | ▼a xiv, 600 p. : ▼b ill. ; ▼c 25 cm. | |
| 440 | 0 | ▼a Texts in theoretical computer science |
| 504 | ▼a Includes bibliographical references (p. [561]-589) and index. | |
| 650 | 0 | ▼a Computer systems ▼x Verification. |
| 650 | 0 | ▼a Formal methods (Computer science) |
| 650 | 0 | ▼a Computer algorithms. |
| 938 | ▼a Otto Harrassowitz ▼b HARR ▼n har035007105 ▼c 74.85 EUR |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 004.21 S359v | 등록번호 121095329 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
1 Introduction.- 2 A Unified Specification Language.- 3 Fixpoint Calculi.- 4 Finite Automata.- 5 Temporal Logics.- 6 Predicate Logic.- 7 Conclusions.- A Binary Decision Diagrams.- A.1 Basic Definitions.- A.2 Basic Algorithms on BDDs.- A.3 Minimization of BDDs Using Care Sets.- A.4 Computing Successors and Predecessors.- A.5 Variable Reordering.- A.6 Final Remarks.- B.1 A Partial Local Model Checking Procedure.- B.2 A Complete Local Model Checking Procedure.- C Reduction of Structures.- C.1 Galois Connections and Simulations.- C.1.1 Basic Properties of Galois Connections.- C.1.2 Galois Simulation.- C.2 Abstract Structures and Preservation Results.- C.3 Optimal and Faithful Abstractions.- C.4 Data Abstraction.- C.4.1 Abstract Interpretation of Structures.- C.4.2 Abstract Specifications.- C.5 Symmetry and Model Checking.- C.5.1 Symmetries of Structures.- C.5.2 Symmetries in the Specification.- References.
정보제공 :
