Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9495504 | Using traces of original model to verify a modified model | Fady Copty | 2016-11-15 |
| 9280496 | Formal verification of arbiters | Fady Copty, Viresh Paruthi | 2016-03-08 |
| 8489367 | Modeling a matrix for formal verification | David J. Levitt | 2013-07-16 |
| 8370553 | Formal verification of random priority-based arbiters using property strengthening and underapproximations | Fady Copty, David J. Levitt, Viresh Paruthi | 2013-02-05 |
| 8127261 | System for quickly specifying formal verification environments | Matan Gal, Ziv Nevo | 2012-02-28 |
| 7840400 | Dynamic natural language understanding | Ofer Lavi, Eldad Persky | 2010-11-23 |
| 7216073 | Dynamic natural language understanding | Ofer Lavi, Eldad Persky | 2007-05-08 |