Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

This publication has 8 references indexed in Scilit:

• A New Numerical Abstract Domain Based on Difference-Bound Matrices
  Published by Springer Nature ,2001
• Partial Completeness of Abstract Fixpoint Checking
  Published by Springer Nature ,2000
• PVS: An Experience Report
  Published by Springer Nature ,1999
• Refining Static Analyses by Trace-Based Partitioning Using Control Flow
  Published by Springer Nature ,1998
• What every computer scientist should know about floating-point arithmetic
  ACM Computing Surveys, 1991
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Static determination of dynamic properties of generalized type unions
  ACM SIGSOFT Software Engineering Notes, 1977
• 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