Issued Patents 2018
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10031936 | Database table data fabrication | Akram Bitar, Oleg Blinder, Ronen Levy | 2018-07-24 |
| 9898395 | Unit-level formal verification for vehicular software systems | Allon Adir, Fady Copty, Dmitry Pidan | 2018-02-20 |
| 9886369 | Dynamic data fabrication for database applications | Allon Adir, Ronen Levy | 2018-02-06 |
| 9875175 | Unit-level formal verification for vehicular software systems | Allon Adir, Fady Copty, Dmitry Pidan | 2018-01-23 |
| 9870313 | Unit-level formal verification for vehicular software systems | Allon Adir, Fady Copty, Dmitry Pidan | 2018-01-16 |