Combination of Abstractions in the ASTRÉE Static Analyzer

This publication has 14 references indexed in Scilit:

• AstrÉe: Verification of Absence of Runtime Error
  Published by Springer Nature ,2008
• The octagon abstract domain
  Higher-Order and Symbolic Computation, 2006
• The Parallel Implementation of the Astrée Static Analyzer
  Published by Springer Nature ,2005
• Trace Partitioning in Abstract Interpretation Based Static Analyzers
  Published by Springer Nature ,2005
• Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
  Published by Springer Nature ,2005
• Static Analysis of Digital Filters
  Published by Springer Nature ,2004
• Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
  Published by Springer Nature ,2004
• Software Verification with BLAST
  Published by Springer Nature ,2003
• Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
  Published by Springer Nature ,2002
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992