Issued Patents 2016
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9495504 | Using traces of original model to verify a modified model | Fady Copty | 2016-11-15 |
| 9280496 | Formal verification of arbiters | Fady Copty, Viresh Paruthi | 2016-03-08 |
GA
Gadiel Auerbach
Overall (2016): #142,916 of 481,213Top 30%
2
Patents 2016