๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Introduction to static analysis an abstract interpretation perspective

โœ Scribed by Xavier Rival; Kwangkeun Yi

Publisher
The MIT Press
Year
2020
Tongue
English
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

๐Ÿ“œ 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

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
โœ Jean-Louis Boulanger ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Wiley ๐ŸŒ English

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 &quot;abstract interpretation&quot; currently being used in various industrial fields: ra