Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software

This publication has 16 references indexed in Scilit:

• The Zonotope Abstract Domain Taylor1+
  Published by Springer Nature ,2009
• HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
  Published by Springer Nature ,2009
• Static Analysis of the Accuracy in Control Systems: Principles and Experiments
  Published by Springer Nature ,2008
• Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
  Published by Springer Nature ,2007
• Astrée: From Research to Industry
  Published by Springer Nature ,2007
• A Guide to MATLAB
  Published by Cambridge University Press (CUP) ,2006
• Static Analysis of Numerical Algorithms
  Published by Springer Nature ,2006
• The ASTREÉ Analyzer
  Published by Springer Nature ,2005
• Basic Concepts of Abstract Interpretation
  Published by Springer Nature ,2004
• Static Analysis of Digital Filters
  Published by Springer Nature ,2004