Issued Patents 2017
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9703688 | Progress metric for combinatorial models | Hsu Chien-Jen, Itai Segall, Rachel Tzoref-Brill | 2017-07-11 |
| 9612942 | Verification of a computer program in respect to an unexpected response to an access request | Daniel Citron, Yarden Nir-Buchbinder | 2017-04-04 |
| 9600347 | Verifying synchronization coverage in logic code | Rachel Tzoref, Eitan Farchi, Ehud Trainin | 2017-03-21 |
| 9600403 | Method and system for creating functional model of test cases | Orna Raz, Randall L Tackett, Paul Wojciak, Marcel Zalmanovici | 2017-03-21 |