A Static Analyzer for Large Safety-Critical Software ​

← Back to topic

Authors: Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, David Monniaux, Xavier Rival
Year: 2002
Journal: PLDI
DOI: 10.1145/1133255.1134024
Publisher: https://www.di.ens.fr/~cousot/PLDI06/

Keywords: astree, static-analysis

Abstract ​

A static analyzer by abstract interpretation.

Cite this paper ​

@misc{astree2002,
  title  = {A Static Analyzer for Large Safety-Critical Software},
  author = {Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, David Monniaux, Xavier Rival},
  year   = {2002},
  journal = {PLDI},
  doi    = {10.1145/1133255.1134024},
  url    = {https://doi.org/10.1145/1133255.1134024},
}

Source files ​

• metadata.json
• paper.bib