• Patrick Cousot.
  Abstract-Interpretation-based Static Analysis of Safety-Critical Embedded Software.
  Impromptu Invited Talk (in last minute replacement of Allen Emerson) at VMCAI'2009, N. Jones and M. Müller-Olm (Program Chairs), Savannah, GA, USA. January 18^th, 2009.
• Abstract:
       A formal introduction to abstract interpretation followed by an application to the verification of absence of runtime errors by static analysis of embedded safety-critical real-time software illustrated by ASTRÉE.

• Keywords:
  Abstract Interpretation, Embedded software, Real-time software, Safety-critical software, Static analysis, Scalability, Software, Verification.
• Slides of the 60 mn presentation: .pdf (1.7 MB) to be read with Acrobat Reader.
-
• Bibliographic reference:

  \bibitem{Cousot-VMCAI-2009-01-18}
  P.~Cousot.
  \newblock Abstract-Interpretation-based Static Analysis of Safety-Critical 
            Embedded Software.
  \newblock Impromptu Invited Talk (in last minute replacement of Allen Emerson) 
            at VMCAI'2009, N.~Jones \& M.~Müller-Olm  (Program Chairs), 
            Savannah, GA, USA. January 18${^\mathrm{th}}$ 2009.
  
  @inProceedings{Cousot-VMCAI-2009-01-18
     author =    {Cousot, P{.}},
     title =     {Abstract-Interpretation-based Static Analysis of Safety-Critical
                  Embedded Software},
     booktitle = {Impromptu Invited Talk (in last minute replacement of Allen 
                  Emerson) at VMCAI'2009, N.~Jones and M.~Müller-Olm 
                  (Program Chairs)},
     address =   {Savannah, GA, USA},
     month =     {18 January},
     year =      {2009},
  }
  

Copyright notice
Last modified: Monday, 07-May-2012 17:51:05 EDT