AstrÉe: Verification of Absence of Runtime Error

This publication has 7 references indexed in Scilit:

• 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
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• The octagon abstract domain
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977