Patents by Inventor Ajay Chandler

Ajay Chandler 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).

  • Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints
    Publication number: 20060168480
    Abstract: A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.
    Type: Application
    Filed: November 7, 2005
    Publication date: July 27, 2006
    Inventors: Ajay Chandler, Nayeem Islam, David Espinosa, Peter Lee, George Necula