Static Analysis of Software: The Abstract Interpretation (Hardcover)

Jean-Louis Boulanger

  • 出版商: Wiley
  • 出版日期: 2011-12-12
  • 定價: $5,200
  • 售價: 9.5$4,940
  • 語言: 英文
  • 頁數: 331
  • 裝訂: Hardcover
  • ISBN: 1848213204
  • ISBN-13: 9781848213203
  • 立即出貨 (庫存 < 3)

買這商品的人也買了...

商品描述

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.

This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).

商品描述(中文翻譯)

現有的文獻對學生和研究人員來說非常普遍,僅涵蓋靜態分析的正式技術。本書提供了目前在各個工業領域中使用的形式技術「抽象解釋」的真實案例,包括鐵路、航空、太空、汽車等領域。本書的目的是在一本書中向學生和研究人員呈現那些在軟體安全關鍵系統的實現和評估中具有豐富經驗的人們的知識。由於作者們目前在業界工作,因此與其他書籍可能出現的保密問題不成問題,因此可以提供新的有用信息(照片、建築平面圖、真實案例)。