Inventor
GANAI MALAY
US14 patents
⚠️ This page may combine multiple inventors who share the name “GANAI MALAY”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
NEC LAB AMERICA INC
8 patentsUS7346486B2Mar 18, 2008
System and method for modeling, abstraction, and analysis of software
NEC LAB AMERICA INC283 citations98
US7742907B2Jun 22, 2010
Iterative abstraction using SAT-based BMC with proof analysis
NEC LAB AMERICA INC22 citations92
US8005661B2Aug 23, 2011
Modeling and verification of concurrent systems using SMT-based BMC
NEC LAB AMERICA INC7 citations84
US7853906B2Dec 14, 2010
Accelerating high-level bounded model checking
NEC LAB AMERICA INC11 citations84
US7386818B2Jun 10, 2008
Efficient modeling of embedded memories in bounded memory checking
NEC LAB AMERICA INC10 citations84
US7203917B2Apr 10, 2007
Efficient distributed SAT and SAT-based distributed bounded model checking
NEC LAB AMERICA INC7 citations74
US7930659B2Apr 19, 2011
Software verification
NEC LAB AMERICA INC5 citations62
US7743352B2Jun 22, 2010
Computer implemented method of high-level synthesis for the efficient verification of computer software
NEC LAB AMERICA INC4 citations62