Inventor

SHLYAKHTER ILYA

US2 patents

⚠️ This page may combine multiple inventors who share the name “SHLYAKHTER ILYA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

NEC LAB AMERICA INC

1 patent

US8006239B2Aug 23, 2011

Program analysis using symbolic ranges

NEC LAB AMERICA INC17 citations82

CADAMBI SRIHARI

1 patent

US8131532B2Mar 6, 2012

Software verification using range analysis

CADAMBI SRIHARI12 citations80