Abstract
Abstract interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12].
This work was supported in part by the Jerome Clarke Hunsaker Visiting Professorship of the MIT Aeronautics and Astronautics Department in 2005. I thank John Deyst and Éric Féron for stimulating discussions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The ASTRÉE Static Analyzer, www.astree.ens.fr
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proc. ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), San Diego, California, USA, June 7–14, pp. 196–207. ACM Press, New York (2003)
Cousot, P.: Méthodes itératives de construction et d’approximation de points fixes d’opérateurs monotones sur un treillis, analyse sémantique de programmes. Thèse d’État ès sciences mathématiques, Université scientifique et médicale de Grenoble, Grenoble, March 21 (1978)
Cousot, P.: Types as abstract interpretations. In: 24\(^{\mathit{th}}\) POPL, January 1997, pp. 316–331. ACM Press, Paris (1997) (invited paper)
Cousot, P.: The calculational design of a generic abstract interpreter. In: Broy, M., Steinbrüggen, R. (eds.) Calculational System Design. NATO Science Series, Series F: Computer and Systems Sciences, vol. 173, pp. 421–505. IOS Press, Amsterdam (1999)
Cousot, P.: Partial completeness of abstract fixpoint checking. In: Choueiry, B.Y., Walsh, T. (eds.) SARA 2000. LNCS (LNAI), vol. 1864, pp. 1–25. Springer, Heidelberg (2000) (invited paper)
Cousot, P.: Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 1–24. Springer, Heidelberg (2005)
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4\(^{\mathit{th}}\) POPL, pp. 238–252. ACM Press, New York (1977)
Cousot, P., Cousot, R.: Static determination of dynamic properties of generalized type unions. In: ACM Symposium on Language Design for Reliable Software, Raleigh. ACM SIGPLAN Not., vol. 12(3), pp. 77–94 (1977)
Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: 6\(^{\mathit{th}}\) POPL, San Antonio, pp. 269–282. ACM Press, New York (1979)
Cousot, P., Cousot, R.: Invariance proof methods and analysis techniques for parallel programs. In: Biermann, A., Guiho, G., Kodratoff, Y. (eds.) Automatic Program Construction Techniques, ch. 12, pp. 243–271. Macmillan, Basingstoke (1984)
Cousot, P., Cousot, R.: Basic concepts of abstract interpretation. In: Jacquart, P. (ed.) Building the Information Society, ch. 4, pp. 359–366. Kluwer Acad. Pub., Dordrecht (2004)
Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: The astrée analyser. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 21–30. Springer, Heidelberg (2005)
Souyris, J.: Industrial experience of abstract interpretation-based static analyzers. In: Jacquart, P. (ed.) Building the Information Society, ch. 4, pp. 393–400. Kluwer Acad. Pub., Dordrecht (2004)
Traverse, P., Lacaze, I., Souyris, J.: Airbus ly-by-wire — a total approach to dependability. In: Jacquart, P. (ed.) Building the Information Society, ch. 4, pp. 191–212. Kluwer Acad. Pub., Dordrecht (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cousot, P. (2005). Integrating Physical Systems in the Static Analysis of Embedded Control Software. In: Yi, K. (eds) Programming Languages and Systems. APLAS 2005. Lecture Notes in Computer Science, vol 3780. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575467_10
Download citation
DOI: https://doi.org/10.1007/11575467_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29735-2
Online ISBN: 978-3-540-32247-4
eBook Packages: Computer ScienceComputer Science (R0)