ASTRÉE is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C programming language. It has been applied with success to large embedded control-command safety critical real-time software generated automatically from synchronous specifications, producing a correctness proof for complex software without any false alarm in a few hours of computation. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2005). The ASTRÉE analyzer. In Lecture Notes in Computer Science (Vol. 3444, pp. 21–30). Springer Verlag. https://doi.org/10.1007/978-3-540-31987-0_3
Mendeley helps you to discover research relevant for your work.