Static analysis and verification of aerospace software by abstract interpretation

AIAA Infotech at Aerospace 2010

Volumn , Issue , 2010, Pages

  Bertrane, Julien ^a   Cousot, Patrick ^a,b   Cousot, Radhia ^a   Feret, Jérôme ^a   Mauborgne, Laurent ^a,c   Miné, Antoine ^a   Rival, Xavier ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b NEW YORK UNIVERSITY   (United States)

^c UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 78650029136     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. Cousot, P. and Cousot, R., "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints," Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, Los Angeles, 1977, pp. 238-252.
2. Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., and Rival, X., "Varieties of Static Analyzers: A Comparison with Astŕee, invited paper," Proceedings of the First IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE'07, edited by M. Hinchey, H. Jifeng, and J. Sanders, IEEE Computer Society Press, Los Alamitos, Shanghai, 6-8 June 2007, pp. 3-17.
3. Delmas, D. and Souyris, J., "Astrée: from Research to Industry," Proceedings of the Fourteenth International Symposium on Static Analysis, SAS '07, edited by G. Fiĺe and H. Riis-Nielson, Kongens Lyngby, Lecture Notes in Computer Science 4634, Springer, Berlin, 22-24 August 2007, pp. 437-451.
4. Bouissou, O., Conquet, E., Cousot, P., Cousot, R., Feret, J., Goubault, E., Ghorbal, K., Lesens, D., Mauborgne, L., Min, A., Putot, S., Rival, X., and Turin, M., "Space Software Validation using Abstract Interpretation," The International Space System Engineering Conference DASIA 2009, Data Systems In Aerospace, edited by E. publications, Istambul, Turkey, 26-29 May 2009.