NEC Laboratories America, Inc.


Aarti Gupta

Aarti Gupta

NEC Laboratories America, Inc.
4 Independence Way, Suite 200
Princeton, NJ 08520
+1 (609) 951-2966
Email: agupta at nec-labs dot com

Research Interests

  • Software Verification: software model checking, program analysis, static analyzers, model-based development, software testing
  • Formal Verification: model checking, abstraction-refinement, equivalence checking, hardware verification
  • Automatic Decision Procedures: Boolean Satisfiability (SAT) solvers, Satisfiability Modulo Theory (SMT) solvers, Binary Decision Diagrams (BDDs)
  • Electronic Design Automation: specification and verification languages, semi-formal verification, simulation-based validation

Publications

Invited Talks

Professional Activities

Other Information

 


 NEC Laboratories America Home

©2006 NEC Laboratories America, Inc. All rights reserved.