TY - GEN
T1 - Scalable and precise program analysis at NEC
AU - Balakrishnan, Gogul
AU - Ganai, Malay K.
AU - Gupta, Aarti
AU - Ivančić, Franjo
AU - Kahlon, Vineet
AU - Li, Weihong
AU - Maeda, Naoto
AU - Papakonstantinou, Nadia
AU - Sankaranarayanan, Sriram
AU - Sinha, Nishant
AU - Wang, Chao
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=79958708849&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79958708849&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:79958708849
SN - 9780983567806
T3 - Formal Methods in Computer Aided Design, FMCAD 2010
SP - 273
EP - 274
BT - Formal Methods in Computer Aided Design, FMCAD 2010
T2 - Formal Methods in Computer Aided Design, FMCAD 2010
Y2 - 20 October 2010 through 23 October 2010
ER -