TREA

Tatyana Veksler

Follow

Person

  • Yaakov, IL
People

Patents Grantslast 30 patents

Patents Applicationslast 30 patents

  • Information Patent Application

    SYMBOLIC EXECUTION OF ALTERNATIVE BRANCHES
    • Publication number 20170286271
    • Publication date Oct 5, 2017
    • International Business Machines Corporation
    • Dmitry Pidan
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    BDD-BASED FUNCTIONAL COVERAGE ANALYSIS
    • Publication number 20130103983
    • Publication date Apr 25, 2013
    • International Business Machines Corporation
    • Rachel Tzoref-Brill
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    BDD-BASED FUNCTIONAL MODELING
    • Publication number 20120324414
    • Publication date Dec 20, 2012
    • International Business Machines Corporation
    • Rachel Tzoref-Brill
    • G01 - MEASURING TESTING
  • Information Patent Application

    PROOF BASED BOUNDED MODEL CHECKING
    • Publication number 20120198400
    • Publication date Aug 2, 2012
    • International Business Machines Corporation
    • Oded Fuhrmann
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    PROOF BASED BOUNDED MODEL CHECKING
    • Publication number 20120046918
    • Publication date Feb 23, 2012
    • Oded Fuhrmann
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL
    • Publication number 20110071809
    • Publication date Mar 24, 2011
    • International Business Machines Corporation
    • Sharon Keidar-Barner
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Device, System and Method for Formal Verification
    • Publication number 20090064064
    • Publication date Mar 5, 2009
    • Cynthia Rae Eisner
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Clause and Proof Tightening
    • Publication number 20090024557
    • Publication date Jan 22, 2009
    • Oded Fuhrmann
    • G06 - COMPUTING CALCULATING COUNTING