Issued Patents 2018
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9898395 | Unit-level formal verification for vehicular software systems | Allon Adir, Dmitry Pidan, Tamer Salman | 2018-02-20 |
| 9875175 | Unit-level formal verification for vehicular software systems | Allon Adir, Dmitry Pidan, Tamer Salman | 2018-01-23 |
| 9870313 | Unit-level formal verification for vehicular software systems | Allon Adir, Dmitry Pidan, Tamer Salman | 2018-01-16 |