• DocumentCode
    3641174
  • Title

    Scalable and precise program analysis at NEC

  • Author

    Gogul Balakrishnan;Malay K. Ganai;Aarti Gupta;Franjo Ivančić;Vineet Kahlon;Weihong Li;Naoto Maeda;Nadia Papakonstantinou;Sriram Sankaranarayanan;Nishant Sinha;Chao Wang

  • Author_Institution
    NEC Laboratories America, NJ, USA
  • fYear
    2010
  • Firstpage
    273
  • Lastpage
    274
  • Abstract
    The Systems Analysis & Verification Department at NEC Labs engages in foundational as well as applied research in the areas of verification and analysis of software and embedded systems. We have developed several tools and frameworks for scalable and precise analysis of programs, some of which are now used within the company on large software projects. This extended abstract highlights their main features and provides pointers to published papers with more details.
  • Keywords
    "Chaotic communication","Computer bugs","Testing","Instruction sets","Semantics","Analytical models"
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods in Computer-Aided Design (FMCAD), 2010
  • Print_ISBN
    978-1-4577-0734-6
  • Type

    conf

  • Filename
    5770960
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3641174