Patrick Cousot<bR> Dynamic interval analysis by abstract interpretation

Patrick Cousot.
Dynamic interval analysis by abstract interpretation.
In 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2021, 19--29 October 2021, Rhodes, Greece.
Paper: PDF (320 KB)

Keywords: Abstract interpretation, Dynamic analysis, Interval Arithmetics, Soundness.

Abstract: Interval arithmetic introduced by Ramon E. Moore in scientific computing to put bounds on rounding errors in floating point computations was a very first example of dynamic program analysis. We show that it can be formalized by abstract interpretation.

Paper: PDF (110 KB)

Bibliographic reference:

@inproceedings{KH65,
  author    = {Patrick Cousot},
  title     = {Dynamic interval analysis by abstract interpretation},
  booktitle = {Formal Methods in Outer Space},
  series    = {Lecture Notes in Computer Science},
  volume    = {13065},
  publisher = {Springer},
  year      = {2021},
}

copyright notice
Last modified: Friday, 22-Oct-2021 19:58:05 EDT