• Patrick Cousot and Radhia Cousot.
  Scaling up with abstract interpretation.
  NSF Workshop on Usable Verification, A. Pnueli & L. Zuck (Org.), Savannah, GA, USA. January 20^th, 2009.
• Abstract:
       The difficulty of program verification is essentially to scale up. We try to identify the essential design principles supporting successful abstract interpretation-based program verifiers that have shown to scale up well enough to be used in industrial environments..

• Keywords:
  Abstract Interpertation, Static analysis, Scalability, Verification,.
• Slides of the 15 mn presentation: .pdf (9.5 MB) to be read with Acrobat Reader.
-
• Bibliographic reference:

  \bibitem{Cousot-UsableVerification-2009-01-20}
  P.~Cousot and R.~Cousot.
  \newblock Scaling up with abstract interpretation.
  \newblock NSF Workshop on \emph{Usable Verification}, A.~Pnueli \& L.~Zuck 
            (Org.), Savannah, GA, USA. January 20${^\mathrm{th}}$ 2009.
  
  @inProceedings{Cousot-UsableVerification-2009-01-20
     author =    {Cousot, P{.} and Cousot, R{.}},
     title =     {Scaling up with abstract interpretation},
     booktitle = {NSF Workshop on \emph{Usable Verification}, A.~Pnueli \& 
                  L.~Zuck (Org.)},
     address =   {Savannah, GA, USA},
     month =     {20 January},
     year =      {2009},
  }
  

Copyright notice
Last modified: Friday, 01-Jan-2010 17:31:11 CET