Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9710427 | Verification of distributed symmetric multi-processing systems | Alex Goryachev, Ronny Morad, Sergey Shusterman | 2017-07-18 |
| 9298670 | Verification of distributed symmetric multi-processing systems | Alex Goryachev, Ronny Morad | 2016-03-29 |
| 9218273 | Automatic generation of a resource reconfiguring test | Erez Lev Meir Bilgory, Alex Goryachev, Ronny Morad | 2015-12-22 |