Software verification using range analysis

Assignee

• Nec Laboratories America

Inventors

• Srihari Cadambi (21 patents)
• Aleksandr Zaks (1 patents)
• Franjo Ivancic (24 patents)
• Ilya SHLYAKHTER (2 patents)
• Zijiang Yang (49 patents)
• Malay Ganai (24 patents)
• Aarti Gupta (51 patents)
• Unknown

View full patent text on Google Patents →