P

Inventor

VEKSLER TATYANA

IL7 patents
⚠️ This page may combine multiple inventors who share the name “VEKSLER TATYANA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IBM

3 patents
US7725851B2May 25, 2010

Device, system and method for formal verification

IBM15 citations82
US8352234B2Jan 8, 2013

Model generation based on a constraint and an initial model

IBM0 citations49
US10503633B2Dec 10, 2019

Symbolic execution of alternative branches

IBM0 citations38

TZOREF-BRILL RACHEL

2 patents
US8595676B2Nov 26, 2013

BDD-based functional modeling

TZOREF-BRILL RACHEL7 citations81
US8656341B2Feb 18, 2014

BDD-based functional coverage analysis

TZOREF-BRILL RACHEL0 citations49

FUHRMANN ODED

2 patents
US8397192B2Mar 12, 2013

Proof based bounded model checking

FUHRMANN ODED1 citations49
US8201116B2Jun 12, 2012

Proof based bounded model checking

FUHRMANN ODED0 citations49