The Parallel Implementation of the Astrée Static Analyzer

This publication has 14 references indexed in Scilit:

• Efficient chaotic iteration strategies with widenings
  Published by Springer Nature ,2006
• The ASTREÉ Analyzer
  Published by Springer Nature ,2005
• Trace Partitioning in Abstract Interpretation Based Static Analyzers
  Published by Springer Nature ,2005
• Precise and Scalable Static Program Analysis of NASA Flight Software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Static Analysis of Digital Filters
  Published by Springer Nature ,2004
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
  Published by Springer Nature ,2002
• A New Numerical Abstract Domain Based on Difference-Bound Matrices
  Published by Springer Nature ,2001
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• An efficient general iterative algorithm for dataflow analysis
  Acta Informatica, 1987