Patents by Inventor Aleksandr Zaks

Aleksandr Zaks has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Software verification using range analysis
    Patent number: 8131532
    Abstract: A system and method is disclosed for formal verification of software programs that advantageously bounds the ranges of values that a variable in the software can take during runtime.
    Type: Grant
    Filed: June 3, 2006
    Date of Patent: March 6, 2012
    Assignee: NEC Laboratories America, Inc.
    Inventors: Srihari Cadambi, Aleksandr Zaks, Franjo Ivancic, Ilya Shlyakhter, Zijiang Yang, Malay Ganai, Aarti Gupta, Pranav Ashar