Static Analysis of Software: The Abstract Interpretation

✍ Scribed by Jean-Louis Boulanger

Publisher: Wiley
Year: 2011
Tongue: English
Leaves: 340
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Static Analysis of Software: The Abstrac

📁 Static Analysis of Software: The Abstract Interpretation

📂 Library 📅 2011 🏛 Wiley-ISTE 🌐 English

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. <p> This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway,

Static Analysis of Software: The Abstrac

📁 Static Analysis of Software: The Abstract Interpretation

✍ Jean-Louis Boulanger 📂 Library 📅 2011 🏛 Wiley-ISTE 🌐 English

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.<p>This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, ae

Static Analysis of Software: the Abstrac

📁 Static Analysis of Software: the Abstract Interpretation

✍ Boulanger, Jean-Louis 📂 Library 📅 2013 🏛 John Wiley & Sons, Incorporated 🌐 English

Cover -- Title Page -- Copyright Page -- Table of Contents -- Introduction -- Chapter 1. Formal Techniques for Verification and Validation -- 1.1. Introduction -- 1.2. Realization of a software application -- 1.3. Characteristics of a software application -- 1.4. Realization cycle -- 1.4.1. Cycle in

Static Analysis of Software: the Abstrac

📁 Static Analysis of Software: the Abstract Interpretation

✍ Boulanger, Jean-Louis 📂 Library 📅 2013 🏛 Wiley 🌐 English

Introduction to static analysis an abstr

📁 Introduction to static analysis an abstract interpretation perspective

✍ Xavier Rival; Kwangkeun Yi 📂 Library 📅 2020 🏛 The MIT Press 🌐 English

Software Abstractions: Logic, Language,

📁 Software Abstractions: Logic, Language, and Analysis

✍ Daniel Jackson 📂 Library 📅 2006 🏛 The MIT Press 🌐 English

In Software Abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls "lightweight formal methods" or "agile modeling"—takes from formal specif