Patents by Inventor Andreas Tiemeyer

Andreas Tiemeyer 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).

  • Validation of software execution paths
    Publication number: 20080005619
    Abstract: Embodiments of software execution path validation are presented herein.
    Type: Application
    Filed: June 29, 2006
    Publication date: January 3, 2008
    Inventors: Tamarah Arons, Elad Elster, Michael Mishaeli, Eli Singerman, Andreas Tiemeyer
  • Detecting vacuously satisfield specifications in model checking
    Publication number: 20050278153
    Abstract: Modifying a specification of a design by replacing a sub formula of the specification with a free variable; model checking the modified specification in a model to determine whether the modified specification is satisfied in the model; and determining whether the sub formula affects satisfaction of the specification in the model based on determining whether the modified specification is satisfied in the model.
    Type: Application
    Filed: May 25, 2004
    Publication date: December 15, 2005
    Inventors: Roy Armoni, Limor Fix, Alon Flaisher, Nir Piterman, Andreas Tiemeyers, Moshe Vardi