Inventor

EISNER CINDY

IL3 patents

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

IBM

2 patents

US7146605B2Dec 5, 2006

Automatic abstraction of software source

IBM27 citations89

US6192505B1Feb 20, 2001

Method and system for reducing state space variables prior to symbolic model checking

IBM51 citations88

ARBEL ELI

1 patent

US8166444B2Apr 24, 2012

Clock gating using abstraction refinement

ARBEL ELI2 citations60