Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8166444 | Clock gating using abstraction refinement | Eli Arbel, Oleg Rokhlenko | 2012-04-24 |
| 7146605 | Automatic abstraction of software source | Ilan Beer | 2006-12-05 |
| 6192505 | Method and system for reducing state space variables prior to symbolic model checking | Ilan Beer, Yoav Rodeh | 2001-02-20 |