Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10503633 | Symbolic execution of alternative branches | Tatyana Veksler | 2019-12-10 |
| 9898395 | Unit-level formal verification for vehicular software systems | Allon Adir, Fady Copty, Tamer Salman | 2018-02-20 |
| 9875175 | Unit-level formal verification for vehicular software systems | Allon Adir, Fady Copty, Tamer Salman | 2018-01-23 |
| 9870313 | Unit-level formal verification for vehicular software systems | Allon Adir, Fady Copty, Tamer Salman | 2018-01-16 |
| 9588877 | Unit-level formal verification for vehicular software systems | Allon Adir, Fady Copty, Tamer Salman | 2017-03-07 |
| 9389984 | Directing verification towards bug-prone portions | Hana Chockler, Oded Margalit, Sitvanit Ruah | 2016-07-12 |
| 8856755 | Dominant-state-based coverage metric | Hana Chockler, Sitvanit Ruah, Karen Frida Yorav | 2014-10-07 |
| 8219376 | Verification using directives having local variables | Sitvanit Ruah | 2012-07-10 |