Formal system verification : (Record no. 36065)
[ view plain ]
| LIBRARY OF CONGRESS CONTROL NUMBER | |
|---|---|
| LC control number | 2017938317 |
| INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783319576831 |
| DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Call number | 005.14 FO RM |
| TITLE STATEMENT | |
| Title | Formal system verification : |
| Subtitle | state-of the-art and future trends |
| Statement of responsibility, etc | Edited by Rolf Drechsler |
| PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Cham, Switzerland : |
| Publisher | Springer, |
| Date | 2018. |
| PHYSICAL DESCRIPTION | |
| Extent | xvi, 182 p. |
| Other Details | 71 illus., 49 illus. in color. |
| Size | 24 cm. |
| CONTENTS | |
| Contents | Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification -- The Industrial Perspective. |
| SUMMARY | |
| Summary | This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system-level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies. |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Heading | Computer systems |
| General | Verification |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Heading | Computer software |
| General | Verification |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Heading | Integrated circuits |
| General | Verification |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Heading | Electronic systems |
| ADDED ENTRY | |
| Name | Drechles, Rolf, |
| Role | Edited by |
| ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://uowd.box.com/s/qfcofg7pfryskmsobf4hwnq45a0b1qa7 |
| Public note | Location Map |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| -- | 29050 |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| -- | 29051 |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| -- | 29052 |
| SUBJECT ADDED ENTRY--TOPICAL TERM | |
| -- | 10260 |
| ADDED ENTRY | |
| -- | 37918 |
| Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Permanent location | Current location | Shelving location | Date acquired | Source of acquisition | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| University of Wollongong in Dubai | University of Wollongong in Dubai | Main Collection | 2019-11-11 | MERIC | 005.14 FO RM | T0062524 | 2019-05-21 | 2019-05-21 | REGULAR | Nov2019 |