| 书目名称 | Verification of Digital and Hybrid Systems |
| 编辑 | M. Kemal Inan,Robert P. Kurshan |
| 视频video | |
| 概述 | Tutorial overview of state of the art in computer-aided verification.Emphasis on industrial applications and hybrid systems.Leading international experts present latest research.Includes supplementary |
| 丛书名称 | NATO ASI Subseries F: |
| 图书封面 |  |
| 描述 | This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a sys |
| 出版日期 | Book 2000 |
| 关键词 | algorithms; automata; automata theory; complexity; control; design; hardware; heuristics; language; modeling; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-59615-5 |
| isbn_softcover | 978-3-642-64052-0 |
| isbn_ebook | 978-3-642-59615-5Series ISSN 0258-1248 |
| issn_series | 0258-1248 |
| copyright | Springer-Verlag Berlin Heidelberg 2000 |
发表于 2025-3-21 19:59:17
