Inventor · disambiguated record
Tatyana Veksler
Also filed as: VEKSLER TATYANA
7 granted patents·1 pending application·23 citations·filing 2007–2016
77Inventor score
Top patents by PatentIndex Score
8 records- 0184US8595676B2BDD-based functional modelingTZOREF-BRILL RACHEL·Filed 2011·Granted Nov 26, 2013·7 cites·24 claims
- 0283US7725851B2Device, system and method for formal verificationIBM·Filed 2007·Granted May 25, 2010·15 cites·15 claims
- 0361US8397192B2Proof based bounded model checkingFUHRMANN ODED·Filed 2012·Granted Mar 12, 2013·1 cites·20 claims
- 0450US8352234B2Model generation based on a constraint and an initial modelIBM·Filed 2009·Granted Jan 8, 2013·0 cites·24 claims
- 0546US8201116B2Proof based bounded model checkingFUHRMANN ODED·Filed 2010·Granted Jun 12, 2012·0 cites·17 claims
- 0643US8656341B2BDD-based functional coverage analysisTZOREF-BRILL RACHEL·Filed 2012·Granted Feb 18, 2014·0 cites·20 claims
- 0743US2009024557A1Clause and Proof TighteningFUHRMANN ODED·Filed 2007·Application pending·0 cites
- 0838US10503633B2Symbolic execution of alternative branchesIBM·Filed 2016·Granted Dec 10, 2019·0 cites·16 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →