Formal System Verification: State-Of The-Art and Future Trends
暫譯: 形式系統驗證：現狀與未來趨勢

Drechsler, Rolf

Formal System Verification: State-Of The-Art and Future Trends
  • 出版商: Springer
  • 出版日期: 2018-08-10
  • 售價: $5,380
  • 貴賓價: 9.5 折 $5,111
  • 語言: 英文
  • 頁數: 182
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3319862235
  • ISBN-13: 9783319862231

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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 at 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.

商品描述(中文翻譯)

本書為讀者提供了硬體和軟體形式驗證的全面介紹。來自形式證明技術領域的世界頂尖專家展示了從電子系統層級（ESL）描述到寄存器傳輸層級（RTL）的最新發展。作者在不同的抽象層次上展示了形式方法如何幫助確保功能正確性。內容涵蓋最新的學術研究成果，以及工業工具和案例研究的描述。

作者簡介

Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design. Rolf Drechsler has been and still is a member of the Program Committees of numerous conferences (including e.g. DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, FMCAD) and is co-founder of the Graduate School of Embedded Systems which started in 2006. Since 2012, he additionally coordinates the Graduate School System Design. He has received Best Paper Awards from numerous international scientific conferences, e.g.: Haifa Verification Conference (HVC) 2006, Forum on Specification & Design Languages (FDL) 2007 and 2010, IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 2010, IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2013.

作者簡介(中文翻譯)

羅夫·德雷克斯勒（Rolf Drechsler）自2011年以來擔任德國人工智慧研究中心（DFKI）網路物理系統部門的負責人。此外，自2001年以來，他也是不來梅大學計算機科學研究所的全職教授。在此之前，他曾在西門子股份公司（Siemens AG）的企業技術部門工作，並曾在德國弗賴堡/布萊斯高的阿爾伯特-路德維希大學計算機科學研究所任職。羅夫·德雷克斯勒於1992年和1995年分別在德國法蘭克福的歌德大學獲得計算機科學的文憑和博士學位（Dr. Phil. Nat.）。在DFKI及他所領導的不來梅大學計算機科學研究所的計算機架構小組中，羅夫·德雷克斯勒專注於數據結構和算法的開發與設計，特別強調電路和系統設計。羅夫·德雷克斯勒曾經並且仍然是多個會議的程序委員會成員（包括例如DAC、ICCAD、DATE、ASP-DAC、FDL、MEMOCODE、FMCAD等），並且是自2006年開始的嵌入式系統研究生院的共同創辦人。自2012年以來，他還協調系統設計研究生院。他曾獲得多個國際科學會議的最佳論文獎，例如：2006年海法驗證會議（HVC）、2007年和2010年規範與設計語言論壇（FDL）、2010年IEEE電子電路與系統設計與診斷研討會（DDECS）、2013年IEEE/ACM計算機輔助設計國際會議（ICCAD）。

類似商品

最後瀏覽商品 (20)