Static Analysis and Verification of Aerospace Software by Abstract Interpretation Image close
Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane
Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane
Show Hide Adult Content
Static Analysis and Verification of Aerospace Software by Abstract Interpretation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$191.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $48.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Foundations and Trends® in Programming Languages

See all products in this series

Introduction to Neural Network Verification by Aws Albarghouthi
$211.99
Introduction to Neural Network Verification
by Aws Albarghouthi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Progress of Concurrent Objects by Hongjin Liang
$202.99
Progress of Concurrent Objects
by Hongjin Liang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Neurosymbolic Programming by Swarat Chaudhuri
$151.99
Neurosymbolic Programming
by Swarat Chaudhuri ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Reconciling Abstraction with High Performance by Oleg Kiselyov
$172.99
Reconciling Abstraction with High Performance
by Oleg Kiselyov ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programming with "Big Code" by Eran Yahav
$128.99
Programming with "Big Code"
by Eran Yahav ~ Paperback / softback
Available - Usually ships in 3-4 weeks
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena
$193.99
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
by Marco Vassena ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Principles of Eventual Consistency by Sebastian Burckhardt
$209.99
Principles of Eventual Consistency
by Sebastian Burckhardt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Shape Analysis by Bor-Yuh Evan Chang
$210.99
Shape Analysis
by Bor-Yuh Evan Chang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probabilistic Trace and Testing Semantics by Marco Bernardo
$162.99
Probabilistic Trace and Testing Semantics
by Marco Bernardo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nominal Game Semantics by Andrzej S. Murawski
$191.99
Nominal Game Semantics
by Andrzej S. Murawski ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Behavioral Types in Programming Languages by Davide Ancona
$209.99
Behavioral Types in Programming Languages
by Davide Ancona ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer-Assisted Query Formulation by Alvin Cheung
$160.99
Computer-Assisted Query Formulation
by Alvin Cheung ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Models and Techniques for Analyzing Security Protocols by Veronique Cortier
$191.99
Formal Models and Techniques for Analyzing Security Protocols
by Veronique Cortier ~ Paperback / softback
Available - Usually ships in 3-4 weeks
QED at Large by Talia Ringer
$211.99
QED at Large
by Talia Ringer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Refinement Types by Ranjit Jhala
$210.99
Refinement Types
by Ranjit Jhala ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Pointer Analysis by Yannis Smaragdakis
$140.99
Pointer Analysis
by Yannis Smaragdakis ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation, and reports on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first industrial applications concerned synchronous control/command software in open loop. Recent advances consider imperfectly synchronous programs, parallel programs, and target code validation as well. Future research directions on abstract interpretation are also discussed in the context of aerospace software.
Release date Australia
December 15th, 2015
Audience
  • Postgraduate, Research & Scholarly
Pages
140
Dimensions
156x234x8
ISBN-13
9781601988560
Product ID
24534421

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Julien Bertrane

See all books by this author

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation by Antoine Mine
$209.99
Tutorial on Static Inference of Numeric Invariants by Abstract...
by Antoine Mine ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Shape Analysis by Bor-Yuh Evan Chang
$210.99
Shape Analysis
by Bor-Yuh Evan Chang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Principles of Abstract Interpretation on Hardback by Patrick Cousot Save $14
$185.99
$200.00
Principles of Abstract Interpretation
by Patrick Cousot ~ Hardback
Available - Usually ships in 2-3 weeks
Introduction to Static Analysis on Hardback by Xavier Rival
$168.99
Introduction to Static Analysis
by Xavier Rival ~ Hardback
Available - Usually ships in 2-3 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general