Issued Patents 2016
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9390208 | Formal verification of temporal properties expressed using local variables | Roy Armoni, Naiyong Jin | 2016-07-12 |
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9390208 | Formal verification of temporal properties expressed using local variables | Roy Armoni, Naiyong Jin | 2016-07-12 |